Not an expert, but Euclid made some mistakes, like using superposition to prove some theorems. I’m curious how they handle those. (e.g. I think Euclid attempted to prove side-angle-side congruence, but Hilbert had to include it as an axiom.)
Not an expert, but Euclid made some mistakes, like using superposition to prove some theorems. I’m curious how they handle those. (e.g. I think Euclid attempted to prove side-angle-side congruence, but Hilbert had to include it as an axiom.)