Wikidata facts
Show 1 more fact
- Stack Exchange tag
- mathoverflow.net/tags/reverse-math
Sources (3)
via Wikidata · CC0
Connections
constructivism
Entity
semantic theory of truth
Entity
mathematical logic
Entity
computability theory
Entity
first-order logic
Entity
formal system
Entity
Zermelo–Fraenkel set theory
Entity
recursive set
Entity
semantics of logic
Entity
structure
Entity
axiom schema
Entity
theory
Entity
ground expression
Entity
diagram
Entity
logic
Entity
International Standard Book Number
Entity
David Hilbert
Entity
natural number
Entity
mathematical analysis
Entity
set theory
Entity