>>23
また擁護派はしれっとそういうこと言うw
有限記号列で表現不可能なんだから望月の脳内にも証明なんかあるわけがない