Esperanto Lingvoj Fakoj ktp.
MAT

pruvo 2

specoj

↘ pruvo de ekzisto

↘ pruvo per indukto

↘ pruvo per redukto al absurdo

sinonimoj

⇒ demonstro 2