I started reading Euclid a long time ago but I immediately spotted the bug in the first proof and couldn't bring myself to go on. Then I tried reading David Hilbert's modern rigorous axiomatization of geometry ("Foundations of Geometry") but got stuck on one of the proofs in chapter 2 or so (this might've been back when I read books by trying to force myself to prove everything myself in my head before reading the author's proof).
I always wanted to make a game that would start with a tutorial that would use Hilbert's axioms to explain the concept of 3D space to the player as if she was a non-spatial being from a non-spatial universe (e.g., elaborately developing the concept of "betweenness" as if the player had never encountered it before), as a parody of game tutorials.
