The poem "Undefined Terms" by poet-mathematician Katharine O'Brien (1901-1986) is a favorite of mine from long ago that I re-found recently here . . . for greatest enjoyment, read it aloud.
Undefined Terms by Katharine O'Brien
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.
