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.