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