User contributions for 2A01:E0A:9B6:13F0:D9E0:A15D:FE2E:C322
Jump to navigation
Jump to search
21 October 2025
- 12:5512:55, 21 October 2025 diff hist +22,068 N Hilbert's axioms →II. Betweenness (Order) Axioms: correction Axiom B1 current