QUOTE : That is to say that the truth values of every proposition within the reach of the mathematical system are already determined, and mathematicians essentially explore the system to find those truth values. It has a real feeling of discovery to it, but the underlying axioms are where we made it up, to put it loosely. Since many of the simpler axioms are based on our “self-evident” experience of reality, the map closely matches the terrain, and it is easy to fall into the trap of thinking the description is reality.