Esperanto Lingvoj Fakoj ktp.
MAT

postulato 2

difino

= aksiomo 2

vidu

→ aksiomo 2