Tag

Axioms

Entries tagged axioms.

2 entries

Equality as a balance relation

Equality is a claim that two expressions name the same quantity, checkable and preservable under matched changes to both sides, not a command to compute.

7 min

Concept

Points, lines, angles, and planes

Geometry builds everything, triangles, circles, solids, from a small set of undefined primitives, point, line, and plane, plus a short list of relations, incidence, betweenness, and angle, that constrain how those primitives can meet.

7 min