Timeline for ZFC, set membership and FOL
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2011 at 6:28 | history | edited | Stefan Geschke | CC BY-SA 3.0 |
deleted 399 characters in body
|
| Aug 12, 2011 at 7:32 | history | edited | Stefan Geschke | CC BY-SA 3.0 |
added 181 characters in body
|
| Aug 12, 2011 at 7:25 | comment | added | Stefan Geschke | In the signature it is specified that there is a binary relation, which we happen to call set membership. But nothing about its properties is said. This is what the axioms are for. But you are right, of course, this is just a matter of terminology. | |
| Aug 12, 2011 at 7:22 | history | edited | Stefan Geschke | CC BY-SA 3.0 |
added 1404 characters in body
|
| Aug 12, 2011 at 7:20 | comment | added | Andrej Bauer | Very clearly, it is specified in the signature, at least where I come from. | |
| Aug 12, 2011 at 6:57 | history | answered | Stefan Geschke | CC BY-SA 3.0 |