| 日本語 | jpn-000 |
| 形式体系 | |
| العربية | arb-000 | لغة معرفة |
| чӑваш | chv-000 | Метачěлхе |
| 國語 | cmn-001 | 形式系統 |
| Cymraeg | cym-000 | Uwchiaith |
| Deutsch | deu-000 | Formales System |
| Deutsch | deu-000 | formales System |
| ελληνικά | ell-000 | Μεταγλώσσα |
| ελληνικά | ell-000 | τυπικό σύστημα |
| English | eng-000 | Formal system |
| English | eng-000 | formal system |
| français | fra-000 | Métalangage |
| Gàidhlig | gla-000 | Siostam foirmeil |
| hrvatski | hrv-000 | Metajezik |
| 日本語 | jpn-000 | 形式的体系 |
| lietuvių | lit-000 | Metakalba |
| македонски | mkd-000 | Метајазик |
| Nederlands | nld-000 | Metataal |
| Nederlands | nld-000 | formeel systeem |
| bokmål | nob-000 | Metaspråk |
| فارسی | pes-000 | سیستم صوری |
| polski | pol-000 | Metajęzyk |
| português | por-000 | Sistema formal |
| română | ron-000 | Sistem axiomatic |
| русский | rus-000 | Формальные системы |
| русский | rus-000 | формальная систе́ма |
| español | spa-000 | Sistema formal |
| svenska | swe-000 | Formellt system |
| українська | ukr-000 | Метамова |