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

reply