あー、こういう言い方って
　正しい命題
　≒普通の数学者が正しいと感じるような命題
　≒標準構造で真＝Th(N)に属する
という言い方してるケースが結構あるんだよね。
確かに言葉の使い方がロジシャンとしては雑だけど
普通の数学者には一番通じやすい。
特にこの場合、Thomas C. HalesってLanglandsプログラムの研究者だから
いわゆる普通のworking mathematicianだからね。

なんか間違いだ！とか言って突っ込む人が多いけど、
ネットとか見てるとそういう批判してる当人がもっと雑駁な理解してる場合も多いよね。

まあ、本屋で立ち読みしてこようかな