n (mathematics|logic|(w|proof theory)) A fundamental
(l/en|theorem) that serves as a basis for
(l/en|deduction) of other theorems. Examples: "Through a pair of distinct points there passes exactly one straight line", "All right angles are congruent".