It is not the case that Adding 'Exists(x)' as a first-order predicate generates a vicious regress: we must then ask whether the extension of Exists itself exists, requiring a meta-level predicate.
?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.