Top network posts
- 67 Nontrivially fillable gaps in published proofs of major theorems
- 36 What axioms are used to prove Godel's Incompleteness Theorems?
- 33 Peano Arithmetic and the Field of Rationals
- 27 Are there examples of statements that have been proven whose consistency proofs came before their proofs?
- 26 Do the analogies between metamathematics of set theory and arithmetic have some deeper meaning?
- 23 Classifying set theories whose standard models sharing the same ordinals are equal
- 23 Similarities between Post's Problem and Cohen's Forcing
- View more network posts →