Несуперечливість системи аксіом

одна з найважливіших вимог до системи аксіом: неможливість логічно вивести з системи яке-небудь стверджувальне положення разом із його запереченням