axiom 2
noundomain: communication
Princeton WordNet [ver.3.1]
Definition
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
