「無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないから」←どういう意味？

**風吹けば名無し** · 2023/02/09(木) 00:04:31.25

3行で

**風吹けば名無し** · 2023/02/09(木) 00:05:06.20

ゲーテルの不完全性定理

**風吹けば名無し** · 2023/02/09(木) 00:08:24.31

絶対にうそをつかないと誓いを立てる人がいたとしても、その言葉自体がうそでないことを証明することはできないので
くらいの意味

**風吹けば名無し** · 2023/02/09(木) 00:10:24.87

それは単なる自己言及のパラドックスでは

**風吹けば名無し** · 2023/02/09(木) 00:12:03.86

公理的集合論ってなに？
公理って1+1=2みたいなやつ？