Любое знание, претендующее на логичность построения, требует наличие определенного числа исходных положений, принимаемых в его рамках истинным без требования доказательств, верных априори, опираясь на которых оно строится.
Аксиомы могут быть достаточно произвольными, они не обязаны быть очевидными. Единственным неизменным требованием к аксиоматическим системам является их внутренняя непротиворечивость. Критерии формирования набора аксиом в рамках конкретной теории часто являются прагматическими: краткость ормулировки, удобство манипулирования, минимизация числа исходных понятий...
Здесь будут изложена аксиоматика предлагаемого к рассмотрению знания.
