3 Socrates has sufficient evidence for the soul that he can make it axiomatic. This is normal procedure for mathematicians, who procede without any evidence, simply as an exercise to determine if their reasoning leads to a contradiction. Seemingly fantastic theorems are built in this manner, and tools are developed that then become available for the description of reality in areas of future scientific investigations. In mathematics (arithmetic) –1 became a convenient symbol for an algorithmic step, before it came to represent the common concept of debt, which for many people is now very real. The Greeks wrestled with the irrational numbers, such as pi and the square root of two. Present-day mathematicians use e to represent certain naively unrelated functions, sums and series. The square root of minus 1, which is a convenient representation of a useful algorithmic step, has become an indispensible element in modelling some aspects of reality. The mathematician even plays with numbers that represent different kinds of infinite cardinality. What is unreal for many people is for others the only means by which to come to an understanding of some very real relationships.