I see 1 as mostly an anchor. However, my thing is not about working out axioms and formal mathematics. I do some visualizations that can help demonstrate aspects of prime distribution.

I am fascinated by geometric proofs though. The clock thing is just a riff on Ulam's work. I believe there is more to it if one sees it as a geometric object and not just a visualization drawing. I could be wrong though.