Concrete mathematical statements in relation to Choice versus Reinhardt cardinals? Harvey Friedman is well known for investigating concrete mathematical statements that requires strong assumptions, i.e. those that can only be interpreted in a strong extension of $\text{ZF(C)}$. My first question:


*

*Is there any known example of a concrete mathematical statement that requires the strength of an extension of $\text{ZF}$ that can prove the existence of a Reinhardt cardinal?


My second question is:


*If we suppose such an example had been put forth, would that constitute a reason to reject Choice?


The idea is that if 1 is true, then this might open the door for many examples of concrete mathematical statements that can only be interpreted in extensions of $\text{ZF}$ that can prove the existence of a Reinhardt cardinal or higher cardinals, but it is known that all such extensions negate Choice. And by then Choice would appear as a restrictive assumption, since it would restrict interpret-ability of concrete mathematical statements, which is the primary goal of foundation after all.


*What makes us believe in an axiom? is it its formalization ability (i.e. its interpret-ability strength) or its intuitive appeal? so in a situation like the above, which would we favor?

 A: You're leaving yourself too much wiggle room for "concrete mathematical statement".
Is this going to be something like TREE-related statements, or about Laver tables? Is this going to be something like AD? Is this going to be something like "There exists a topological space such that something"?
Yes, there is an issue with defining a "concrete mathematical statement", and arguably $\sf\operatorname{Con}(ZF+\exists\kappa\text{ Reinhardt})$ is not an example of a statement that you're looking for. But nevertheless, it's unclear what is a statement that you are looking for.
Now, to your actual question, I don't quite know the answer. I don't think that there has been much research towards this either. You could argue that he failure of the HOD Conjecture requires the consistency of a Reinhardt cardinal, and that the HOD Conjecture is a concrete mathematical statement. But not that much more has been said and done on the topic.

For your second question, would you say that you should accept $\sf CH$ because of one of many "weird" constructions? or consequences from Forcing Axioms ($\sf PFA$ or $\sf MM$) should motivate you to reject $\sf CH$?
If your answer is yes to any of the above, then a Reinhardt cardinal may or may not be a reason to reject choice, depending on the type of statement you found, how compelling you found it, and whether or not you want to reject choice. Ultimately, the only reason to reject choice is that you want to reject choice.
Being an anti-Platonist, I can only suggest rejecting the whole view of "accepting or rejecting something".

For your third question, it's a combination of plausibility, usability, and our education. Your mileage may vary.
