PanLinx
italiano
ita-000
dimostrazione indiretta
čeština
ces-000
nepřímý důkaz
PanLex
