2019-12-31 ω-無矛盾性と1-無矛盾性について tex:\omega 第一不完全性定理でGödelは-無矛盾性を仮定していたが-無矛盾性で十分であることが知られている.ここでどのくらい-無矛盾性と-無矛盾性に差があるのか考察した. drive.google.com