【Ffh2風】やる夫は無茶振り王国の研究者のようです64【R-18】【技術開発】
28
名前：普通のやる夫さん[sage] 投稿日：2020/10/15(Thu) 01:48:39 ID:e9a8066e
「全知を使っていけるところまで拡張する」まで適応すると…
まあうん、巨大数研究wikiへようこそ
多分「ZFCで全域性を証明可能な関数を支配する計算可能関数に∞を突っ込んだ」位になると思う
この場合はトランスリアルには敗北するという恐怖