0001風吹けば名無し2022/06/25(土) 19:57:52.41ID:w0BBL8Ena
どこまで理解できてたら問題ない？
0002風吹けば名無し2022/06/25(土) 19:58:29.28ID:vM2VHpPj0
論理実証主義
0003風吹けば名無し2022/06/25(土) 19:59:01.77ID:2bBTseZWa
無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないことだけ理解できてたらええで
0004風吹けば名無し2022/06/25(土) 20:00:36.52ID:w0BBL8Ena
>>3
ゲーデルの不完全性定理やっけ
基礎論勉強するモチベーションにするわサンガツ 0005風吹けば名無し2022/06/25(土) 20:06:42.90ID:sdxCPRbS0
圏論