The following pages link to (Q4105666):
Displayed 5 items.
- Classes and truths in set theory (Q450946) (← links)
- The incompleteness theorems after 70 years (Q598275) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)