Axiom talk:Hilbert's Axioms

Work to be done
Obviously, this is not the final version, but this is the form of the axioms I found in my source. I understand that every axiom should go to a separate page which will be done in the near future. I will probably need to introduce a shorthand notation for primitive relations, because any other presentation I find online so far is very verbal. I've seen betweenness relation in Tarski's axioms, and I think others should have their shorthand notations as well. Also the names of individual axioms and groupings have not settled yet. Some sources provide better suggestions than others.--Julius (talk) 20:24, 22 August 2022 (UTC)


 * Well overdue, and big thanks for taking it on. --prime mover (talk) 21:48, 22 August 2022 (UTC)


 * I guess these axioms are for planar Euclidean geometry? Good to make that explicit. &mdash; Lord_Farin (talk) 09:31, 23 August 2022 (UTC)


 * Nice catch. Planar geometry indeed.--22:33, 23 August 2022 (UTC)


 * Incidentally, before we travel too far down the road, I moved this page to the Axiom namespace. I think it better belongs there. --prime mover (talk) 18:38, 23 August 2022 (UTC)