Book of Proof (2018)

Related:<p><i>Book of Proof – An introduction to the methods of proving mathematical theorems</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=12101328">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=12101328</a> - July 2016 (27 comments)<p>Also this related ongoing thread:<p><i>Basics of Proofs (2017) [pdf]</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=36353322">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=36353322</a> - June 2023 (32 comments)

A claim that it is a book of proof makes it hard to get past the first sentence being a lie: &quot;All of mathematics can be described with sets&quot;... Set theory cannot be proven to describe all of math as set theory is a <i>branch</i> of math and has been objected to as its base since it was proposed <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Set_theory#Objections_to_set_theory" rel="nofollow noreferrer">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Set_theory#Objections_to_set_t...</a>