サクサク読めて、アプリ限定の機能も多数!
自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。→なるほど、わからん
kura-2 のブックマーク 2018/05/15 12:10
全世界意味わかんない言い回し選手権自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。→なるほど、わからん2018/05/15 12:10
このブックマークにはスターがありません。 最初のスターをつけてみよう!
anond.hatelabo.jp2018/05/14
日本の部代表 ヤキモチを焼く 焼いた餅 焼いちゃお〜 いるかこんなやつ!!!
198 人がブックマーク・110 件のコメント
\ コメントが サクサク読める アプリです /
自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。→なるほど、わからん
kura-2 のブックマーク 2018/05/15 12:10
このブックマークにはスターがありません。
最初のスターをつけてみよう!
全世界意味わかんない言い回し選手権
anond.hatelabo.jp2018/05/14
日本の部代表 ヤキモチを焼く 焼いた餅 焼いちゃお〜 いるかこんなやつ!!!
198 人がブックマーク・110 件のコメント
\ コメントが サクサク読める アプリです /