KPは「お互いに証明出来ない」を認めた
https://medaka.5ch.net/test/read.cgi/prog/1646042966/466

464 仕様書無しさん 2022/03/18(金) 12:58:33.25
ゲーデルの不完全性定理によると、463が正しいとは限らない
よって、463は463の正しさを証明出来ない

465 仕様書無しさん sage 2022/03/18(金) 13:00:34.95
>>464
その通り
お互いに証明出来ないことが証明されたな

466 KEMONO_PANTSU 神 ◆sRRjTYeJB. 2022/03/18(金) 13:01:35.72
>>465
その通り
私はteratailで何回もBANされた。