It is not the case that Bound variables are artifacts of notation; what we're *really* committed to depends on interpretation, not syntactic form alone.
?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.