PanLinx
čeština
ces-000
dobré uspořádání
English
eng-000
well-ordering
PanLex