It is not the case that Gödel sentences are mechanically constructible and their unprovability is mathematically rigorous, not dependent on linguistic or notational interpretation.
?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.