誰がフォン・ノイマン宇宙の対角化と言ったのか知らないけど、ラヨ関数って構成可能宇宙の対角化
と言ったがいい気がする。
Little BigeddonでLに無数のウッディン基数を追加した世界の対角化か（適当）