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:
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.