The claim that the Gödel sentence is 'true' presupposes a Platonist standard model of arithmetic (ℕ)...