1.Previous
3.Next

which the concept of natural numbers can be expressed, can include all true statements about them. As a result, some domains of knowledge cannot be formalized, accurately and completely, as mathematical theories. (Here, formalizing accurately and completely means that all true propositions--and only true propositions--are derivable within the mathematical system.) This limitation, however, in no way precludes the construction of mathematical theories that formalize large

1.Previous
3.Next