Russell and Whitehead, the
Mathematicians,
Worked hard to produce all-
Encompassing feat.

Then came Kurt Gödel, who
Self-referentially
Showed that their treatise must
Be incomplete.