「1+1=2」の証明で使われる「ペアノの公理」ってなに?『プリンキピア・マテマティカ』に対してゲーデルが指摘した「不完全性」という着想

「1+1=2」の証明で使われる「ペアノの公理」ってなに?『プリンキピア・マテマティカ』に対してゲーデルが指摘した「不完全性」という着想

コメントなし

さらに読む