PanLinx
русский
rus-000
принцип вполне упорядочения
English
eng-000
well-ordering principle
PanLex
