It is not the case that The metatheory used to verify the finite/cofinite structure is a model must itself be stronger than NFSI, making the consistency claim relative rather than absolute.
?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.