Principia Mathematica [Incompletum]

2SetTheory

Using formal logic of groups
360 pages prove
that 1 + 1 = 2,
but any theory contains loops.
So, to keep from jumping through hoops

put incompleteness in a box:
a set containing paradox;
unlike Pandora, keep it locked!
Maintain our collective senses,
and just relax in consensus.

*[ WSB ].