Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Теорема Лёба
Теорема Лёба гласит, что во всякой теории, включающей аксиоматику Пеано, для любого высказывания formula_1 доказуемость высказывания «доказуемость formula_1 влечет formula_1» возможна только в случае доказуемости самого высказывания formula_1. Символически эта теорема может быть записана следующим образом:
Следствием теоремы Лёба является то, что только в противоречивой теории высказывание «доказуемость formula_1 влечёт formula_1» доказуемо для всех утверждений formula_1.