Hier sind mengentheoretische Rekonstruktionen für Theorien aus den folgenden Bereichen zu finden:
Es gelten die folgenden formalen Vereinbarungen:
Alle Rekonstruktionen folgen einem einheitlichen Beschreibungsschema für Theorien:
| Grundmengen | |
| Hilfsbasismengen | (optional) |
| Relationen | |
| Funktionen | (optional) |
| Konstanten | (optional) |
| Definitionen | (optional) |
| Typisierungen | |
| Hypothesen | |
| Modelle | |
| Querverbindungen | (optional) |
| Spezialisierungen | (optional) |