It is not the case that Classical logic's paradox-avoidance forces ad-hoc restrictions (like type hierarchies) that artificially limit expressive power without solving underlying issues.
?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.