第一不完全性定理でGödelは-無矛盾性を仮定していたが-無矛盾性で十分であることが知られている.ここでどのくらい-無矛盾性と-無矛盾性に差があるのか考察した. drive.google.com
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。