User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-30004975-20180203040658

Can you post the proof that PTO(Z2)>ωω?