>>532
＞”証明できない真実: 第一不完全性定理により、
＞内容としては正しい（真である）にもかかわらず、
＞その体系の中のルール（公理）だけでは
＞「正しい」と証明できない命題
＞が必ず存在することが示されました”
完全性定理の反例があると言ってる？