Timeline for Have axioms / axiom schemata of this flavour been proposed or otherwise considered?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2014 at 22:23 | vote | accept | goblin GONE | ||
| Apr 20, 2014 at 19:31 | comment | added | goblin GONE | Yep it definitely fits the bill, although I'll leave the question open for a few days to see if any other suggestions come through. | |
| Apr 20, 2014 at 19:24 | history | edited | Monroe Eskew | CC BY-SA 3.0 |
added 14 characters in body
|
| Apr 20, 2014 at 19:23 | comment | added | Monroe Eskew | How about, "For all $x$, $x^\sharp$ exists?" | |
| Apr 20, 2014 at 18:59 | history | answered | Monroe Eskew | CC BY-SA 3.0 |