_:vb12654476 . _:vb12654476 "(filosofia) (matematica) enunciato o proposizione di cui si vuole accertare la validit\u00E0 con una dimostrazione, a partire da un'ipotesi e da assiomi"@it . "2" . .