プリンキピア・マテマティカには(結構後のほうに)1+1=2の証明があるらしいが、その証明で示されていることは「1の後者(successor)と加法なる演算によって定義される1+1が等しい」ということなのか? まあいつかの夏休みに読む。 今年は無理だ。 Vが線型空…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。