Timeline for Which arithmetic\set theory is synonymous with this theory?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 24 at 4:14 | comment | added | Zuhair Al-Johar | @Yes! The idea is that when $x$ is non-empty then the RHS holds. | |
| Nov 23 at 20:57 | comment | added | Clement Yung | $y$ doesn't appear on the RHS of your finiteness axiom. Is this intended? | |
| Nov 23 at 8:18 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |