reflect on proof paradoxes later in the book #75

Open rfl-urbaniak opened 2 months ago