Thus, there exist extensions of the field of real numbers that possess all the properties of the system of real numbers that are formulated in the lower predicate calculus in terms of some given set of relations.
Kaya, may mga umiiral na extension ng patlang ng mga tunay na mga numero na magmay-ari ng lahat ng mga pag-aari ng sistema ng mga tunay na numero na ay formulated sa mas mababa na totoo calculus sa mga tuntunin ng ilang mga ibinigay na hanay ng mga relasyon.