PanLinx
русский
rus-000
доказа́тельство от проти́вного
ελληνικά
ell-000
εις άτοπον απαγωγή
English
eng-000
proof by contradiction
íslenska
isl-000
óbein sönnun
polski
pol-000
dowód nie wprost
PanLex
