1.While reading questions and answers on this forum, I read that the fact that Hilbert's axioms are built upon second-order logic is kind of disadvantage, but why ? 2.I heard that we can build coordinate system upon Hilbert's axioms, is it true ? And can we rigorously define it in other axiomatic systems of Euclidean geometry.
3. What are other disadvantages of Hilbert's axiomatic system and can we somehow create better axioms (I know there are others, but as I know they have their own disadvantages) ?
If this post has too many questions, say it in the comments and I will separate them into different posts.
Thanks in advance.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.