PanLinx
English
eng-000
denumberability axiom
русский
rus-000
аксиома счётности
PanLex
