It is not the case that If FO+LFP and SO express identical computable classes, distinguishing their 'properties' lacks clear meaning without external metaphysical commitment.
?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.