Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with metamathematics
Search options answers only
not deleted
user 14915
the mathematical discipline that applies mathematical methods to the study of mathematical theories themselves.
19
votes
Accepted
Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC
The reflection principle is a theorem scheme; each of its instances is provable in ZFC.
The following proof works entirely in ZFC:
Assume Con(ZFC) together with not-Con(ZFC+non-CH) and aim for a c …
- 14k