The mathematician's foundations (Euclid of Alexandria) that can be found in CAD software are the postulates and axioms that are the foundations of the Euclidian geometry. These elements are the collection of definitions, postulates, propositions (theorems and constructions), and mathematical proofs of the propositions.
