It is not the case that If Cons(F) is expressed via a specific arithmetical encoding, different encodings can yield extensionally equivalent but proof-theoretically distinct statements, as Feferman demonstrated in 1960.
?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.