Also known as Foundation of geometry
study of geometries as axiomatic systems. There are several sets of axioms which give rise to Euclidean geometry or to non-Euclidean geometries
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).