« first day (25 days earlier)      last day (722 days later) » 

10:00 AM
jsl/1183745940 is the paper Akira Suzuki: No Elementary Embedding from V into V is Definable from Parameters
In this post I have given jstor+doi instead of projecteuclid: math.stackexchange.com/posts/3302928/revisions
7
A: Is being a Reinhardt cardinal first-order definable?

Noah SchweberNo, there is not (well, "$0=1$" ... :P). You're quite right that from a first-order definition of Reinhardt-ness, we would conclude immediately the nonexistence of Reinhardt cardinals. Indeed, more can be said: Suzuki proved (doi: 10.2307/2586799)that there is no definable-from-parameters element...

 
 
5 hours later…
2:34 PM
2
Q: Is it possible that there is an axiom we have not discovered yet?

PontaFor example, the completeness of real numbers was discovered around 1800 and now $\mathbb{R}$ is considered to be a Dedekind-complete ordered field. Is it possible that a new axiom about $\mathbb{R}$ will be discovered?

3
A: Is it possible that there is an axiom we have not discovered yet?

Noah SchweberWhile the OP specifically asks about $\mathbb{R}$, I'm going to say a bit about the more general problem of additional axioms for mathematics in general. The case of $\mathbb{R}$ plays a special role here of course, but I think it helps to view it in the broader context. Because this answer is r...

The link to "Believing the Axioms I" no longer works - but the paper can be easily found elsewhere - for example, here, JSTOR, DOI: 10.2307/2274520. — Martin Sleziak 35 secs ago
 

« first day (25 days earlier)      last day (722 days later) »