Metamath Proof Explorer

Table of Contents - 15.4. Geometry in Hilbert spaces

  1. cttg
  2. df-ttg
  3. ttgval
  4. ttglem
  5. ttgbas
  6. ttgplusg
  7. ttgsub
  8. ttgvsca
  9. ttgds
  10. ttgitvval
  11. ttgelitv
  12. ttgbtwnid
  13. ttgcontlem1
  14. xmstrkgc
  15. Geometry in the complex plane
    1. cchhllem
  16. Geometry in Euclidean spaces
    1. Definition of the Euclidean space
    2. Tarski's axioms for geometry for the Euclidean space
    3. EE^n fulfills Tarski's Axioms