Esperanto
Lingvoj
Fakoj
ktp.
propozicio
2.b
vidu
indukto
3
redukto al absurdo