>>24
It's because that's how the symbols are defined.
I guess you didn't take on board the previous post. Your view is that of a formalist, a philosophical view, which happens to be the dominant view of our time (hence why you share it). Gödel proved formalism is untenable when applied to the entire field of mathematics.