| English | eng-000 |
| Axiomatic system | |
| 普通话 | cmn-000 | 公理系统 |
| Deutsch | deu-000 | Axiomensystem |
| 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 |
| русский | rus-000 | Формальная теория |