"О математической логике и философии математики" - читать интересную книгу автора (Ивс Г., Ньюсом К. В.)