- ( kr.k. omaksvõetud lause) formaalse teooria valem, mis võetakse lähtekohaks, mida antud teooria raames ei tõestada ja millest (koos teooria teiste aksioomidega) tuletatakse varem kokkulepitud järeldamisreeglite järgi kõik teooria ülejäänud valemid.