| русский | rus-000 |
| Формальная теория | |
| 普通话 | cmn-000 | 公理系统 |
| Deutsch | deu-000 | Axiomensystem |
| English | eng-000 | Axiomatic system |
| galego | glg-000 | Sistema axiomático |
| hrvatski | hrv-000 | Aksiomatski sustav |
| italiano | ita-000 | Sistema assiomatico |
| Nederlands | nld-000 | Axiomatische methode |
| português | por-000 | Sistema axiomático |