Metadata
Author: WikiMatrix
Data
Esperanto[eo]
La teoremo de Löwenheim-Skolem povas esti uzata por montri ke ĉi tiu minimuma modelo estas kalkulebla.
French[fr]
En utilisant le théorème de Löwenheim-Skolem descendant, on peut montrer que le modèle minimal, s'il existe, est nécessairement dénombrable.