Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

reverse mathematics · Vinony

EntityQ2005236· pop 8· linked from 369 articles

reverse mathematics

Sign in to save

Branch of mathematical logic

Connections

semantic theory of truth

mathematical logic

computability theory

first-order logic

Zermelo–Fraenkel set theory

semantics of logic

ground expression

International Standard Book Number

mathematical analysis

Categories

Computability theory Mathematical logic Proof theory

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

mathematical logic

Entitydist 0.36

Entitydist 0.43

Entitydist 0.45

Entitydist 0.46

square of opposition

Entitydist 0.46

finite model theory

Entitydist 0.47

Entitydist 0.47

Entitydist 0.47

linear temporal logic

Entitydist 0.47

Category:Mathematical logicians

Entitydist 0.48

lambda calculus

Entitydist 0.48

computation tree logic

Entitydist 0.48

What links here369 pages

Kruskal's tree theorem

foundations of mathematics

Brouwer fixed-point theorem

Ramsey's theorem

Gödel's completeness theorem

Jordan curve theorem

lambda calculus

axiomatic system

proof of impossibility

Cantor's paradox

three-valued logic

Mostowski collapse lemma

algebra of sets

superseded scientific theory

logical contradiction

continuum hypothesis

compactness theorem

Harvey Friedman