Green, Yellow, and Red Flowchart

Home --> Math --> Green Yellow Red Flowchart
Disclaimer: somebody might not agree that `not Con(PA)' is falsifiable, because they may not consider that the observation that no contradiction has yet been found truthifies the statement. In this case, simply modify the flowchart by removing the top green observation, and on the left hand side remove each line of the form "not Con(theory) is falsifiable, but no evidence for it" and simply replace it with "no evidence for not Con(theory)".