0001風吹けば名無し2023/02/09(木) 00:04:31.25ID:jEHmy+Yra
3行で
0002風吹けば名無し2023/02/09(木) 00:05:06.20ID:f3wmf+7Q0
ゲーテルの不完全性定理
0003風吹けば名無し2023/02/09(木) 00:08:24.31ID:hOfmQv1Sa
絶対にうそをつかないと誓いを立てる人がいたとしても、その言葉自体がうそでないことを証明することはできないので
くらいの意味
0004風吹けば名無し2023/02/09(木) 00:10:24.87ID:jEHmy+Yra
それは単なる自己言及のパラドックスでは
0005風吹けば名無し2023/02/09(木) 00:12:03.86ID:jEHmy+Yra
公理的集合論ってなに？
公理って1+1=2みたいなやつ？