[vbtemp]

Not really. I'm just saying we don't go around all day doing logic-algebra in our head and saying only true, consistent things :)

[haliax]

Ahh, fair enough. I'd have to agree with you there. My guess is that that plus being able to inductively generate axioms from experience are largely what let us escape that particular weakness of formal systems.