02. Mathematical Truth
Chapter 2. Mathematical Truth Mathematics depends on precise notions of truth, but truth appears in more than one form. A statement can be true in a structure, and it can be provable within a formal system. These two notions are related, but they are not identical. This chapter gives an overview of how they interact. At the syntactic level, mathematics is built from formal systems. A language specifies symbols and...