Green, Yellow, and Red Flowchart #2

Home --> Math --> Green Yellow Red Flowchart #2
This is a sequel to the previous green, yellow, red flowchart regarding the status of Con(PA) and related statements. The Indiana Jones "snake surprise" reference (from the Temple of Doom, of course) is a joke on the fact that the inner model M_2 is closed under the operation the maps each x to M_1(x). The "you will become a true believer" joke is simply that even if you do not believe that a precise mathematical statement has a definite answer, you can spit that belief out just like Indie when it comes time to get crap done.

Note: one might object to a statement like "Con(PA)? has no answer" in the flowchar below. It might be more appropriate to write "belief in Con(PA) corresponds to faith in Con(PA)".