It is not the case that Bolzano's original substitutional method assumed a fixed, non-empty domain; removing this assumption exposes latent domain-sensitivity in his logical framework.
?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.