Axiom 2 could be interpreted as the assumption that the evidence from which pos {\displaystyle \operatorname {pos} } was constructed is free of any contradiction.
Аксіома 2 може інтерпретуватись, як припущення, що доказ, за яким сконструювали pos {\displaystyle \operatorname {pos} } , вільний від суперечності.