omezene modely

[loki]

v zkouskovych otazkach jsem narazil na

Existuje teorie, ktera ma jen 2 prvkove modely? napiste, nebo ukazte, proc neexistuje.

je
{(Vx)(x=1 v x=2)} teorie, ktera ma jen 2 prvkovy model? neda se nejak "ochcat"?

me znalosti na rigorozni pristup nestaci, mohl by mi nekdo dat odpoved?

[hydrant]

uz sa to tu niekolko krat rozoberalo: http://forum.matfyz.info/viewtopic.php?t=1812