質問。

完全性定理と不完全性定理をあわせると

「PAのモデルにはGが真であるもなと¬Gが真であるものがある｣。

となると思いますがGが真であるのは標準モデルとしてそうじゃないのはどんなモデルですか？