← Back to context

Comment by j16sdiz

18 hours ago

err... There are always more ---> you can't make it "compete" by adding finite number of axioms

You 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.