Talk:Logic Manipulation/@comment-33216323-20171107071253/@comment-33216323-20171110024050

Well, that may be true, but I'm struggling to find an appropriate word that would describe something which doesn't have a 'physical' existence but also doesn't depend on the existence of intelligent beings.

Also, as I've been telling you, the universe is not the basis for mathematics, the set of axioms we choose to start with is the basis for math. Nor does it become "irrelevant" if it can't be applied to the universe in some way - that's why pure mathematicians exist. They don't try to apply or reconcile math with the universe. They find new proofs purely for the sake of finding them, nothing more.