[mannykannot]

The original commenter's comment does not contain this claim. I suppose it could have been edited, though by the time I saw it, I believe the window for editing had closed.

Neither what lisper actually says nor what hans1729 replied with are random assertions, and, furthermore, they are each entitled to assert whatever axioms they like - but anyone wanting others to accept their axioms should be prepared to assume the burden of presenting reasons for others to do so.