The take-over of the philosophy of mathematics by mathematical logic is not complete. The reader with a philosophical background should be familiar with the formal syntactico-semantical explications of proof and truth, especially if he wishes to linger on Chapter 1, after which it is easier philosophical sailing;