Return to Question

corrected spelling

view source

edited Jul 22 2011 at 18:41

gowers
17.8k●9●77●130

Proof systems and their heirarchyhierarchy

Why ZFC is placed in top of the proof system heirarchyhierarchy? How it can p-simulate other systems?

edited tags

edited Jul 22 2011 at 15:29

Kaveh
2,177●5●24

edited tags

edited Jul 22 2011 at 15:28

Kaveh
2,177●5●24

lo.logic proof-complexity

view source

asked Jul 22 2011 at 15:10