PanLinx
čeština
ces-000
dedekindův řez
English
eng-000
Dedekind cut
PanLex