PanLinx
Deutsch
deu-000
indirekte Beweis
français
fra-000
démonstration par l’absurde
PanLex
