rozhodnutelnost
rozhodnutelnost, log. vlastnost formule vzhledem ke kalkulu. Formule je v kalkulu rozhodnutelná, je-li buď dokazatelná, anebo je dokazatelná její negace. K. Gödel 1931 dokázal věty o neúplnosti a konzistenci formálních soustav, které vedou mj. k zjištění, že ve všech formálních soustavách existují nerozhodnutelné věty. To vede k filoz. závěru o nekonečnosti procesu formalizace věd. poznání.
