Timeline for How to define tuples?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 19, 2023 at 19:13 | history | suggested | The Amplitwist | CC BY-SA 4.0 |
fixed formatting by replacing backticks with single quotes
|
| Sep 19, 2023 at 17:42 | review | Suggested edits | |||
| S Sep 19, 2023 at 19:13 | |||||
| Jan 26, 2010 at 14:34 | comment | added | Andrea Ferretti | = is usually by default a symbol of first order theories, and in any case it is needed as a symbol in ZFC to formulate the axiom of extensionality (two sets are the same iff they have the same members). So there is a way to compare sets and tell if they are the same, and one such comparison is actually used in the axioms. | |
| Jan 26, 2010 at 13:07 | history | answered | Tim Porter | CC BY-SA 2.5 |