PanLinx
čeština
ces-000
např. použitím matematiky
čeština
ces-000
formalizace
PanLex
