Neopodstatněnost v matematické logice a teorii modelů

Neopodstatněnost je koncept používaný v matematické logice a teorii modelů k popisu vlastnosti tvrzení nebo vzorce, které jsou v daném systému neprokazatelné. Jinými slovy, je to tvrzení, které nelze odvodit z axiomů systému.……Například tvrzení „tato věta je nepravdivá“ je v klasické výrokové logice neopodstatněné, protože jej nelze v rámci systému dokázat ani vyvrátit. Podobně je hypotéza kontinua neopodstatněná v Zermelo-Fraenkelově teorii množin, protože ji nelze v rámci systému dokázat.……Neopodstatněnost je důležitým pojmem v teorii modelů, protože nám umožňuje rozlišovat mezi tvrzeními, která jsou pravdivá, ale neprokazatelná, a tvrzeními, která jsou falešné, ale neprokazatelné. Jinými slovy, neopodstatněnost poskytuje způsob, jak identifikovat tvrzení, která nejsou v daném systému prokazatelná, ale přesto mohou být pravdivá.