Teoremo de Trahtenbrot
El Vikipedio
En logiko kaj finia modela teorio, la teoremo de Trahtenbrot (de Boris Trahtenbrot) statas ke la problemo de vereco en la klaso de ĉiuj finiaj modeloj estas nedecidebla. Fakte, la klaso de validaj frazoj super finiaj modeloj estas ne rikure numerigebla, kvankam ĝi estas kun-rikure numerigebla.
Eksteraj ligiloj [redakti]
[1] Simpson, S. "Teoremoj de Church kaj Trahtenbrot". 2001.
