The complexity of a theory is in how long the theory itself is, not how big the objects it generates are. The peano axioms are extremely simple, despite generat

The complexity of a theory is in how long the theory itself is, not how big the objects it generates are. The peano axioms are extremely simple, despite generating an Infinity of numbers.