Harvey Friedman's work on independence results shows that arithmetically simple statements (e.g., fi...