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)

Presentation
I wonder whether it would make the page prettier if we were to make the axioms heading-3 rather than heading-2? --prime mover (talk) 09:36, 26 August 2022 (UTC)


 * Whatever suits you better. At the moment I am focused on rewriting everything with fewer words and making it look more like Tarski's axioms. It seems that various sources introduce their own notation, and the number of axioms seems to vary as well. Hence, mapping their ideas on what I have here is not so trivial.Julius (talk) 22:13, 27 August 2022 (UTC)

$p$ is a point
Depends on what we want to do. For a simple description this is sufficient. But if we ever plan to make strict connections with the first- or second- order logics then we need this notation.--Julius (talk) 22:21, 27 August 2022 (UTC)