Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Система аксиом фон Неймана — Бернайса — Гёделя
Мы опишем нашу аксиоматизацию путём описания структуры формул. Во-первых, нам необходимо иметь первоначальный запас классов."Далее опишем способ, с помощью которого мы будем формировать выражения логики высказываний. Пусть formula_66 и formula_67. Тогда formula_68, formula_69. Так как с помощью операций formula_70 и formula_71 можно записать любые выражения логики высказываний, нам достаточно определить дополнение и пересечение классов.""Теперь мы начнем двигаться в сторону включения кванторов в формулы. Для того чтобы использовать несколько переменных нам необходимо уметь описывать отношения. Определим упорядоченную пару formula_1 и formula_78 как обычно: formula_79. Далее опишем аксиомы, использующие упорядоченные пары:"formula_85