3 ms·
Axioms can also be mutually contradictory and this may not be obvious initially. Then you can prove and disprove everything at the same time.
by marcinzm 6y ago
Axioms can also be mutually contradictory and this may not be obvious initially. Then you can prove and disprove everything at the same time.
- smt88 6y agoIf axioms are mutually contradictory, that doesn't actually prevent the concept of computing them and attaching them to logical chains. The core problem with computing them is that no machine can decide whether the axioms are contradictory in the first place. In most cases, even humans won't 100% agree.