[FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."

[Vaughan Pratt]

It occurs to me to ask whether "surprising" is significantly different 
from "dubious" when making preliminary assessments of recent 
announcements.  If it is eventually accepted, everyone is indeed 
surprised, while if not, the information-theoretic meaning of 
"surprising" as "improbable" has been borne out.

Vaughan Pratt