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