Resumen de Euclidean geometry of orthogonality of subspaces

Malgorzata Prazmowska, Krzysztof Prazmowski, Mariusz Zynel

• We prove that Euclidean geometry is interpretable in terms of orthogonality of its k-subspaces, and thus it can be formalized as a theory of such an orthogonality.