PanLinx
italiano
ita-000
dimostrazione per assurdo
čeština
ces-000
důkaz sporem
PanLex
