Timeline for Is there a simpler axiomatization for the quantifiers?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 27, 2015 at 8:01 | comment | added | Mauro ALLEGRANZA | @Mageek - I agree; and this is way Hilbert's proposal is not usually adopted. In addition, in the classical context, due to the interdefinibility of the quantifiers, a single axiom, like : $A(t) \to \exists x A(x)$, plus a rule of inference, like : "from $A \to B$, derive $\exists x A \to B$, provided that $x$ is not free in $B$" are enough for the quantificational part. Thus, there is very little "space" for further improvements... | |
| Dec 26, 2015 at 22:46 | vote | accept | Alexandre Khoury | ||
| Dec 26, 2015 at 22:45 | comment | added | Alexandre Khoury | Thanks for answering. Yeah I've read about that, but there is this weird thing about "replacing the occurences of x by squares" and "linking to" the tau. And the fact that the axiom of choice is kind of embedded into the system... which makes it not very elegant according to me. | |
| Dec 26, 2015 at 14:57 | history | edited | Mauro ALLEGRANZA | CC BY-SA 3.0 |
added 26 characters in body
|
| Dec 26, 2015 at 14:08 | history | answered | Mauro ALLEGRANZA | CC BY-SA 3.0 |