Tarski's axioms

Tarski's axioms are a set of fundamental rules for geometry that define how points, lines, and shapes relate to each other. They establish basic concepts like the existence of points, the way lines can be extended, and how segments and angles behave. These axioms form a logical foundation so that all geometric truths can be derived consistently. Essentially, they give us a precise, agreed-upon starting point to describe and prove properties of geometric figures without relying on physical intuition alone.