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