axiom#1 (n)

n06753550

type n
lex_filenum 10
def (logic) a proposition that is not susceptible of proof or disproof
def its truth is assumed to be self-evident
Outgoing links
Hypernym proposition
Domain of synset - TOPIC logic
Derivationally related form axiom → axiomatic; axiom → axiomatic
Derivationally related form axiom → axiomatical
Hyponym Euclid's axiom, Euclid's postulate, Euclidean axiom
Incoming links
Derivationally related form axiomatic → axiom; axiomatic → axiom
Derivationally related form axiomatical → axiom
Pertainym (pertains to noun) axiomatical → axiom
Pertainym (pertains to noun) axiomatic → axiom
Hypernym Euclid's axiom, Euclid's postulate, Euclidean axiom
Member of this domain - TOPIC logic
Hyponym proposition

Back to the index

Click for the XML entry