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.

axiomatic system · Vinony

EntityQ792542· pop 27· linked from 491 articles

axiomatic system

Sign in to save

set of axioms from which some or all axioms can be used in conjunction to logically derive theorems

Connections

semantic theory of truth

Euclidean geometry

first-order logic

mathematical logic

deductive reasoning

universal algebra

Principia Mathe

Hausdorff space

Zermelo–Fraenkel set theory

Hilbert's axioms

Categories

Formal systems Mathematical axioms Methods of proof

Sources

wikipedia.externallinksexternallink

Similar entities

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

axiomatic set theory

Entitydist 0.29

axiom of countability

Entitydist 0.47

probability axioms

Entitydist 0.47

Entitydist 0.49

Entitydist 0.55

systems thinking

Entitydist 0.55

system of systems

Entitydist 0.57

Entitydist 0.57

Entitydist 0.58

Entitydist 0.59

Entitydist 0.59

Entitydist 0.60

What links here491 pages

foundations of mathematics

Hilbert's axioms

primitive notion

undecidable problem

Skolem's paradox

construction of the real numbers

propositional calculus

paradoxes of set theory

Boolean algebra

history of geometry

foundations of geometry

mathematical proof

absolute geometry

synthetic geometry

halting problem

Cantor's paradox