Existential Generalization

Come apart:
Today is firstorder
predicate calculus,
with identity.

We will arrive at arithmetic
but the way is hard, the mysteries
difficult of achievement, many demons
resentful and secretive.

Learn the lesser parts, to begin.
You require today no pentangle guard:
these order the mind but summon
no spirits.

Enumerate the great constants:
sleep, life, song, copulation.

Invoke the predecessors:
father, successor, proof by induction.

Speak, Set:
Union! Difference! Intersection! Remainder!