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.