The following pages link to (Q4108283):
Displayed 12 items.
- Consistency, models, and soundness (Q551223) (← links)
- Structuralism and meta-mathematics (Q707711) (← links)
- Platitudes against paradox (Q885005) (← links)
- Zermelo's discovery of the ''Russell paradox'' (Q1151389) (← links)
- Frege on sense identity (Q1236523) (← links)
- How Bertrand Russell discovered his paradox (Q1247411) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- The reception of Frege's \textit{Begriffsschrift} (Q1282320) (← links)
- A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann. (Q1415598) (← links)
- Hilbert's paradox (Q1604663) (← links)
- Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments? (Q1860969) (← links)
- Benno kerry beiträge zu seiner biographie (Q4289572) (← links)