Esperanto Lingvoj Fakoj ktp.

antaŭsupozo

vidu

→ aksiomo 1

→ antaŭjuĝo

→ elirpunkto

→ oblikveco 2

→ postulato 1