Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

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

Hilbert's axioms · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Tiếng Việt Русский العربية فارسی 한국어 中文日本語

EntityQ840243· pop 26· linked from 355 articles

Hilbert's axioms

formal system

Connections

axiomatic system

semantic theory of truth

Categories

David Hilbert Foundations of geometry

Sources

wikipedia.externallinksexternallink

mathematical logic

Entity

Euclidean geometry

first-order logic

semantics of logic

ground expression

Henri Poincaré

Wayback Machine

Sign in to save

Similar entities

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

Hilbert's program

Entitydist 0.22

Entitydist 0.39

Entitydist 0.41

Von Neumann–Bernays–Gödel set theory

Entitydist 0.54

axiom of pairing

Entitydist 0.54

Frege's theorem

Entitydist 0.55

axiomatic quantum field theory

Entitydist 0.55

Entitydist 0.55

Entitydist 0.57

automata theory

Entitydist 0.57

Zermelo–Fraenkel set theory

Entitydist 0.59

Curry–Howard correspondence

Entitydist 0.59

What links here355 pages

foundations of geometry

axiomatic system

three-valued logic

Mostowski collapse lemma

Cantor's paradox

computer-assisted proof

1899 in science

superseded scientific theory

Hilbert's third problem

primitive notion

compactness theorem