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