Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Правило вывода
В непротиворечивой теории теоремы получаются путём цепочки применения правил вывода этой теории. При этом если формула formula_1 выводится за некоторое количество шагов из формул formula_2 formula_3 formula_4, то для выражения этого факта применяется обозначение formula_5. Если в таком случае рассматриваемая теория непротиворечива, а каждое из утверждений formula_2 formula_3 formula_4 является либо аксиомой, либо теоремой, то formula_1 также является теоремой.