2 ms·
err... There are always more ---> you can't make it "compete" by adding finite number of axioms
by j16sdiz 3mo ago
err... There are always more ---> you can't make it "compete" by adding finite number of axioms
- cyphar 3mo agoYou can make it complete, it just won't be consistent. In fact there is a simple way to do it -- add contradictory axioms and then you can use the principle of explosion to prove any statement as true. Is such a system inconsistent and thus useless? Yes, but it is complete.