It is not the case that Gödel's incompleteness theorems concern provability within a fixed axiomatic system, not the expressive capacity of mathematical functions in general.
?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.