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