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