Un set de axiome poate fi setat arbitrar, dar este corect numai dacă sunt îndeplinite următoarele condiții:
1. Cunoașterea este absolută sau o axiomă este o afirmație, în cadrul unei scheme logice date, excluzând opusul în sens (alternativ) și, în principiu, neacceptând posibilitatea de a respinge orice experiență.
2. Cunoașterea este relativă sau postulată - o afirmație, în cadrul unui sistem dat, care nu derivă din axiome, a cărui fidelitate este stabilită prin experiență, dar admite logic posibilitatea unei alternative.
3. Adevărul probabil sau ipoteza este o propoziție care este logic echivalentă cu un postulat care este acceptat înainte de experiment, dar permite verificarea experimentală, cel puțin în principiu.
4. Adevărul este posibil, adică credința sau teza - o declarație care nu contrazice atât principalele prevederi ale acestei scheme logice, cât și consecințele sale directe, însă experiența nu este stabilită. Poate fi o consecință a premiselor sau a unei teoreme.
Într-adevăr, adevărul afirmațiilor poate fi definit în moduri diferite.
f (a \ \ land \ b) = \ mathrm (f (a), \ f (b)), \ qquad f (a \ )
f (a \ f \ a) \ f (a) \ f (b) - f ) \ cdot f (b)
Câteva comentarii
I. axiome de comunicare
Exemple de axiome de conectare
1.1 Axiomul volumului (axiomul legăturii dintre predicat
\ in și un predicat