PanLinx
русский
rus-000
непроверяемая индукция
English
eng-000
unverifiable induction
PanLex