Undefined Terms
A point is a point, a line is a line,
a rose is a rose is a rose.
We thus undefine in the manner of Stein
some terms in unrhyme and unprose.
On these as foundation we lay definitions,
the girders for walls and a roof.
We assume some conditions to fit requisitions
and build us a logical proof.
When Hilbert found flaws in the structural scene,
he repaired the unrigor discretely.
We know what we mean when we speak of "between,"
which Euclid unnoticed completely.
As we trace mathematics up from its roots
to the reach of its vast propositions,
the beautiful fruits of our lovely pursuits
all stem from our undefinitions.