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