Bizonyíthatók
Bizonyíthatók olyan mondatok a formális elméletekben, amelyekre létezik véges levezetés az adott axiómarendszer szabályai alapján. A kifejezés a bizonyítás fogalmát tükrözi: egy állítás akkor bizonyítható, ha az axiómákból és a megengedett levezetési szabályok felhasználásával létezik olyan levezetés, amely a mondatot levonja.
Formális értelemben egy mondat akkor bizonyítható, ha létezik olyan levezetés, amely a kiindulási axiómákból kiindulva a
Gödel szerint erős formális rendszerekben előfordulhat, hogy igaz állításokat nem lehet bizonyítani a rendszer belső következtetései
Nyelvi használatban a "bizonyíthatók" kifejezést általában matematikai és logikai szövegekben alkalmazzák; gyakori példaként említik a Peano-aritmetika