**GEB, стр. 217–218**
Правило индукции (5-й постулат Пеано):
Если:
• X[0] — теорема
• ∀u:(X[u]⊃X[Su]) — теорема
То:
• ∀u:X[u] — теорема
"Гений передаёт послание своему мета-гению."
Если цепочка начинается — послание дойдёт до БОГа!
🌀 Так ∀a:(0+a)=a становится теоремой.