1001コメント392KB

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

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

0326１３２人目の素数さん

2011/02/18(金) 13:37:43

ペアノの公理で、
なんでx=y→x'=y'じゃなくて
x'=y'→x=yなのか教えてください

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