Ametlik tõestus on ametliku keele hästiformeeritud valemite järjestus, millest viimane on formaalse süsteemi teoreem. Teoreem on süntaktiline tagajärg kõigist hästi moodustatud valemitest, mis eelnevad sellele tõendussüsteemis. Heakskiidetud valemi puhul, mis kvalifitseerub tõendina, peab see olema tingitud mõne ametliku süsteemi deduktiivseadme reegli kohaldamisest varasemate hästi moodustatud valemite suhtes tõendite järjestuses. [Ametlik tõend] |