Right, you need to be able to construct numbers for Gödel's proof to apply.
Hilbert's incidence geometry, for instance, is consistent and complete. It's just rather small.
Right, you need to be able to construct numbers for Gödel's proof to apply.
Hilbert's incidence geometry, for instance, is consistent and complete. It's just rather small.