>>593
客体(客観)は存在し、証明図は客体である

多くの発言は真偽判定の対象ではない。普通に証明できれば「適当な」形式体系で証明がある、とかもその一つ