ゲーデルの完全性定理は、ある理論が無矛盾である、すなわちその理論によって矛盾が生じない場合だけ、その理論はモデルを持つこと述べている。これはモデル理論の核心であり、モデルを見ることで理論についての疑問に答えることができ、逆も同様である。理論の完全性をと混同しないこと。
初期の歴史.
水野江莉花
人物・来歴.
大阪市阿倍野区生まれ、神奈川県立港北高等学校卒業。
演技活動の他、後進の指導も行っており、劇団東俳において講師（ダンス）を務めている。
メインストリート駅 (リッチモンド)
概要.
利用可能な鉄道路線／列車.
アムトラックの停車する列車は下記の通り。
バス.
当駅から乗車できるバスは以下の通り。
概要.
サバイバルボンバーと言うモードがあり、ジャンルがカートレースではなくダンジョンRPGになる。
歴史.
前作との繋がり、時系列について.
ゲームシステム.
手配システム.
メインストーリー.
登場するキャラクター.
主人公の家族や仲間たち.
強盗メンバー.
GTAオンラインの登場人物.
オフラインから登場している人物は省略。
開発.
キャラクター設定、キャスティング.
三人の主人公役のうち、マイケル役の声優とモーションアクターにはネッド・ルークが起用された。当初ルークはオーディションへの参加を打診された際、コンピュータゲームと言うことで本作への出演を辞退しようとした。その後、ルークは台本を読み、作品について学ぶ中で、オーディションへの参加を決めた。
モデルごとのゲーム内容の違い.
グランド・セフト・オート オンライン.
自分だけのキャラクターを作成し、1人でも他のプレイヤー共とでも様々なミッションや強盗、アクティビティ、娯楽施設、カジノ、そして探索などロスサントスで楽しむことができる（キャラクターの性別も変更可能）。
また、ボイスチャットやGTA内専用のメッセージ機能にも対応している。仮にゲーム内のフレンドが別セッションにいた際もゲーム内の自分のスマートフォンの連絡先からフレンドのIDを探して個別で連絡する事も可能 である。
GTAマネーが貯まれば、武器や乗り物の購入またはカスタム、CEO、クラブハウス、地下基地、飛行場、施設、ナイトクラブ、アーケード、潜水艦、エージェンシー施設を購入して犯罪者としての地位を高めていく。