This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

R R Rockingham Gill (Author)

Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of -Forms IV: Effectiveness V: Recursively Defined Predicates VI: The 'Arithmetization of Syntax' VII: Diagonalization VIII: Gödel's Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi