PanLinx
čeština
ces-000
neaxiomatizovatelný
English
eng-000
non-axiomatizable
PanLex
