“Just as you could not have a smartphone serving up semantic content without a syntactic smartphone technology to enable it, you cannot have an empirical world without a syntactic framework to support it, which is provided by eternal and necessary mathematics.”