Nonetheless, the theorem proves that there is a model (a number system) in which this is true.
Megjithatë, teorema provon që ka një model (sistem numërash) në të cilin pohimi është i vërtetë.