Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Аксиоматика Колмогорова
"Система аксиом I—IV" непротиворечива. Это показывает следующий пример: formula_1 состоит из единственного элемента formula_2, formula_3 — из formula_1 и множества невозможных событий (пустого множества) formula_20, при этом положено formula_21. Однако эта "система аксиом" не является полной: в разных вопросах теории вероятностей рассматриваются различные вероятностные пространства.