It is not the case that Proof difficulty depends on axiom choice and derivation depth, not surface form—identical statements may be provable in one system but not another.
?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.