Rudimenta enigo
Aspekto
En matematika logiko, se kaj estas modeloj en la sama lingvo , funkcio
nomiĝas rudimenta enigo se estas rudimenta substrukturo de kaj estas modela izomorfio inter kaj .
Rudimentaj enigoj estas la plej gravaj bildigoj en modelteorio. Rudimentaj enigoj kies argumentaro estas V (la universo de aroteorio) havas gravan rolon en la teorio de grandaj kardinaloj.