"Truth Through Proof: A Formalist Foundation for Mathematics " - читать интересную книгу автора (Alan Weir)