Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$

Rupert McCallum

A proof will be presented that the existence of a non-trivial ${\Sigma }_1$-elementary embedding $j:V_{\lambda +3}\prec V_{\lambda +3}$ is inconsistent with $\text{ZF}$. Sections 1 and 2 shall revie…