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