Man nimmt, wenn man das math. Axiom, das & das sei möglich, hört, ohne weiters an, man wisse, was hier ‘möglich sein’ bedeutet; weil ˇuns diese die Satzform ˇuns natürlich gebräuchlich geläufig ist.