Skip to content
Library
Solve
Practice
Search 7,000+ topics
/
Color theme
Dark
Light
Sign in
Library
Solve
Practice
Search everything
About Expii
Contributors
Topic directory
Hidden
Foundations of Euclidean Geometry
Classical Foundations of Euclidean Geometry
From Euclid to Hilbert
Trickier Parts of Hilbert
Hilbert's Approach to Congruence
Hilbert's Foundations: Angle Congruence Is an Equivalence Relation
Read this topic
Explanations
1
Equivalence relations satisfy the following 3 properties. a ⟹ aa \implies aa⟹a a ⟹ b ⟺ b ⟹ aa \implies b \iff b \implies aa⟹b⟺b⟹a 3 a ⟹ ba \implies ba⟹b and b ⟹ cb \implies cb⟹c…
By James Li
Find a topic
Type a concept, like “slope” or “photosynthesis”.
↑ ↓ to choose · Enter to open
Search explanations and problems