"Proof and Knowledge in Mathematics " - читать интересную книгу автора (Michael Detlefsen)