User blog:Ubersketch/An outline for an ordinal notation


 * 1) 0=#+1
 * 2) n+1 finds the leftmost n and replicates it infinitely and then gets killed if it g

=0

0=1

00=2

01=w

001=w+1

0001=w+2

011=w2

0011=w3

00011=w4