Rudimenta enigo

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.

Kategorio:Modela teorio