It is not the case that The hierarchical levels themselves require justification; why these levels rather than others? Type theory defers rather than solves the foundational problem.
?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.