It is not the case that If incompleteness were a direct consequence of expressive power, then enriching a system's expressiveness should monotonically increase incompleteness, but adding true axioms can resolve specific Gödel sentences without expanding coding capacity.
?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.