User blog:Alemagno12/Huge Ordinal Analysis I: Z 2

Time to get started.

Preparation
[WIP]