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) |