Mengenlehre SEAR < axiomatisch < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 19:50 Fr 16.10.2015 | | Autor: | tobit09 |
Hallo zusammen!
Mit einer gewissen Neugierde bin ich gerade auf die "strukturelle Mengenlehre" ![[]](/images/popup.gif) SEAR gestoßen.
Mir erscheint diese Beschreibung unter diesem Link ein wenig wie die ersten semantischen Beschreibungen von "ZFC" damals noch ohne Bezugnahme auf die Prädikatenlogik der ersten Stufe:
Wie ZFC enthält SEAR Axiomenschemata aus Axiomen "für jede first-order-Formel" (siehe z.B. das Axiom 1 und die Bemerkung unmittelbar danach unter obigem Link).
Andererseits entnehme ich der textlichen Beschreibung, dass offenbar nicht alle first-order-Formeln als zulässig ("well-formed") gelten sollen.
Wie lautet die (vermutlich induktive) Definition einer zulässigen first-order-Formel für SEAR?
(Ich würde übrigens ungern in die Kategorientheorie einsteigen müssen, nur um die Definition dieser Mengenlehre zu verstehen.)
Viele Grüße
Tobias
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:23 Fr 16.10.2015 | | Autor: | tobit09 |
Die Frage hat sich vorerst schon geklärt:
Der User UniversellesObjekt hat mir per PN die entscheidenden Ansätze geliefert. 
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 08:17 Sa 17.10.2015 | | Autor: | tobit09 |
> Wie lautet die (vermutlich induktive) Definition einer
> zulässigen first-order-Formel für SEAR?
Siehe hier.
(Die Bedenken des Autors gegen mehrere leere Mengen teile ich nicht.)
|
|
|
|
