ゴールドバッハ予想は真偽が定まっていないから命題とは言えない?