 Unlike Kolmogorov, but like Glivenko (who had been convinced by Heyting), Heyting accepted Ex Falso (axiom \ref{HeytingAxiom10} above). He was somewhat more elaborate on this point than they had been: