Lindenbaum-Tarski, teorema di

Lindenbaum-Tarski, teorema di

Lindenbaum-Tarski, teorema di in logica, stabilisce che un insieme non contraddittorio di formule chiuse del linguaggio dei predicati è sempre contenuto in un insieme di formule coerente massimale, tale cioè che aggiungendo un’altra formula ben formata esso diventa incoerente (→ coerenza).