Euclidean geometry
Euclidean geometry is a first-order theory. With it, statements like For all triangles... can be made, and be proven. Statements like For all sets of triangles... are outside the scope of the theory.