Postoji teorija iskazana jezikom logike prvoga reda koja ima neprebrojivi model, ali koja nema prebrojivi model.
Nijekom (negacijom) zadane rečenice dobiva se rečenica koja iskazuje Löwenheim- -Skolemov poučak. Iskažite nijek zadane rečenice tako da on ne započinje niječnim izrazima (primjerice, 'Nije tako da', 'Nije slučaj da', 'Ne postoji').
Odgovor:
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.