User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-35470197-20190503030236/@comment-25337554-20190503101712

When I extend it to Inaxisibles, I need to compare erdinals because I need to compare something like psi_W_(psi_W_3(W_3))(0) and psi_W_(psi_W_2(W_3))(0) because there could be:

psi_W_(psi_W_2(W_3)) ( psi_W_(psi_W_3(W_3)) ( W_(psi_W_2(W_3)+w) ) )