Besonderhede van voorbeeld: -8635007565558032803

English

It follows from the theorem that the theory of (N, +, ×, 0, 1) (the theory of true first-order arithmetic) has uncountable models, and that the theory of (R, +, ×, 0, 1) (the theory of real closed fields) has a countable model.

Portuguese

Decorre do teorema que a teoria de (N, +, ×, 0, 1) (a teoria da verdadeira aritmética de primeira ordem) tem inúmeros modelos, e que a teoria de (R, +, ×, 0, 1) (a teoria de corpos reais fechados) tem um modelo contável.