Section IV: Calculus#
Axioms#
All words are made of syllables, all lines are made of words, all stanzas are made of lines.
\[\forall \varsigma, u, \lambda: \exists ⲣ: [ⲣ \subset \lambda] \land [\lambda \subset u] \land [u \subset \varsigma]\]
All poems are made of stanzas.
\[\forall p: \exists n: p = \sum_1^{n} \varsigma_i\]
The scope of a poem is not equal to the scope of its stanzas.
\[\forall p: \forall n: \sum_1^{n} \overline{\varsigma_i} \neq \overline{ \sum_1^{n} \varsigma_i }\]