PanLinx
日本語
jpn-000
形式的体系
Deutsch
deu-000
formales System
ελληνικά
ell-000
τυπικό σύστημα
English
eng-000
formal system
日本語
jpn-000
形式体系
Nederlands
nld-000
formeel systeem
فارسی
pes-000
سیستم صوری
русский
rus-000
формальная систе́ма
PanLex
