Neodvisna izjava

Iz MaFiRaWiki

Stavek P je neodvisen od teorije T, če sta neprotislovni teoriji T + P in T + \lnot P. To pomeni, da iz aksiomov teorije T ne moremo izpeljati niti P niti \lnot P.

Zgledi

Osebna orodja