PanLinx
English
eng-000
enumerably infinite class
русский
rus-000
счётно бесконечный класс
PanLex