PanLinx
čeština
ces-000
axiom spočetnosti
English
eng-000
countability axiom
PanLex