. "Wordnet Synset 06766264-n" . . . . . . . . . . . . "(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident" . .