PanLinx
русский
rus-000
заключение от противного
English
eng-000
conclusio ad absurdum
PanLex