Goldbach conjecture - くるるの数学ノートの続き。 宿題にしてからずいぶん経つので簡単に書いちゃいます。ZFCとある命題が整合的であることを示すための方法としては、強制法や内部モデルがよく使われます。まあ、最近はその合わせ業が多いですが。ですが…