It is not the case that If PM's ramified types can be reduced to simple types for most mathematical purposes—as Church and others argued—then the equiconsistency bridge to ZF is substantive, not merely formal.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.