Ce sujet est traité dans les articles suivants :
Écrit par : Jacques STERN
Dans le chapitre "Modèles intérieurs ; ensembles constructibles" : … de ZF. La recherche de modèles intérieurs minimaux conduit immédiatement à la notion d'ensemble *constructible. Théorème. Soit M un modèle de ZF. Il existe un plus petit modèle intérieur de M noté LM. De plus, il existe un énoncé L (v) à une variable libre v, indépendant du modèle M qui permet de définir LM … Lire la suite
Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis :
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Consulter les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.