Netemeinicie în logica matematică și teoria modelelor

Nefondarea este un concept folosit în logica matematică și teoria modelelor pentru a descrie proprietatea unei enunțuri sau a unei formule care nu poate fi demonstrată într-un sistem dat. Cu alte cuvinte, este o afirmație care nu poate fi dedusă din axiomele sistemului.

De exemplu, afirmația „această propoziție este falsă” este neîntemeiată în logica propozițională clasică, deoarece nu poate fi dovedită sau infirmată în cadrul sistemului. În mod similar, ipoteza continuumului este nefondată în teoria mulțimilor Zermelo-Fraenkel, deoarece nu poate fi dovedită în cadrul sistemului.

Nefondarea este un concept important în teoria modelelor, deoarece ne permite să distingem între enunțurile care sunt adevărate, dar nedemonstrabile, și afirmațiile care sunt fals dar de nedemonstrat. Cu alte cuvinte, netemeinicia oferă o modalitate de a identifica afirmații care nu sunt demonstrabile într-un sistem dat, dar care pot fi totuși adevărate.