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