PanLinx
English
eng-000
infinite disjunction
русский
rus-000
бесконечная дизъюнкция
PanLex