1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

■ このスレッドは過去ログ倉庫に格納されています

0430１３２人目の素数さん

2011/03/18(金) 23:05:57.04

だって、replacement theoremとstrong replacement theoremは同値じゃん。
なんでstrongなのかわからん

■ このスレッドは過去ログ倉庫に格納されています