Large numbers
巨大数論において、チャーチ・クリーネ順序数をに与えることによってビジービーバー関数を近似できるとされている。