Hüperonüümid:
aksioom 1(n), põhilause 1(n), postulaat 1(n)
posiit 1(n), sätestus 1(n)

see, mis pannakse maha vajaliku lähtepunkti või eeldusena, pidamata seda ilmtingimata tõeselt teadaolevaks

ILI-1.5 relation(s)

eq_has_hyperonym

PWN-3.0 relation(s)

eq_has_hyperonym
posit 1(n), postulate 1(n) a proposition that is accepted as true in order to provide a basis for logical reasoning