PanLinx
English
eng-000
inductive demonstration
русский
rus-000
индуктивное доказательство
PanLex