Talk:Logic Manipulation/@comment-33216323-20171107071253/@comment-29564364-20171110030421

Then where do those mathematical axioms that have no applications in reality come from, if not from observation of and experimentation on the natural world? Don't tell me that mathematicians just pull them out of their asses and go with it.

axiom (noun): a statement or proposition that is regarded as being established, accepted, or self-evidently true.
 * [MATHEMATICS] a statement or proposition on which an abstractly defined structure is based.

Oh hey, they do! I guess that makes them a fictional concept, which by definition requires a thinking agent.