| Subject | English | German |
| AI. | Gödel completeness theorem | Gödelsches Vollständigkeitstheorem (Algorithmentheorie) |
| AI. | Gödel completeness theorem | Gödelscher Vollständigkeitssatz |
| AI. | Gödel's completeness theorem | Gödelsches Vollständigkeitstheorem (Algorithmentheorie) |
| AI. | Gödel's completeness theorem | Gödelscher Vollständigkeitssatz |