Erin ' s a bitch <| sep |> Does anyone here have any sort of connection to the Cavs so that we can make this very thing happen ? <| sep |> It ' s only $ 10 a year to keep this updated too . And you really only need to update if you need the new features , which at this point in development are getting into frills fluff territory . So hard to go wrong for $ 10 . <| sep |> No problem , I just want the original , younger version . <| sep |> thank you very much for answer D <| sep |> What i mean is God can know some mathematical truth p is true in system L even if there is no proof of p in L Goedel ' s theorem is exactly that all sufficiently strong consistent L have such a p because God ' s knowledge of mathematical statements doesn ' t rely on knowing them via proof . Immutability comes from the idea that there is no progression from one proposition to another in God ' s knowledge . God doesn ' t know p and if p then q and come to know q in the way that we do , since that would imply a change in his knowledge between not knowing q and then knowing q . Likewise then , God ' s knowledge of a mathematical proposition can ' t depend upon his knowledge of its proof , since that implies a progression in his knowledge from proof to theorem .