1001コメント392KB

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

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

0384１３２人目の素数さん

2011/02/24(木) 00:02:15.70

訂正
∀x P(x)を仮定して背理法によって∃x ￢P(x)を示すとか

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