It is not the case that Sort logic's typed quantification over new sorts presupposes a prior construction of those sort domains, making construction logically anterior to definition.
?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.