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.

axiom schema · Vinony

EntityQ792536· pop 11· linked from 394 articles

axiom schema

Sign in to save

a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear

Connections

semantic theory of truth

mathematical logic

first-order logic

Zermelo–Fraenkel set theory

semantics of logic

free and bound variables

ground expression

Bertrand Russell

International Standard Book Number

John von Neumann

Categories

Formal systems Mathematical axioms

Sources

wikipedia.externallinksexternallink

Similar entities

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

axiom schema of specification

Entitydist 0.21

Entitydist 0.38

axiom schema of replacement

Entitydist 0.42

Armstrong's axioms

Entitydist 0.44

Entitydist 0.46

Entitydist 0.48

Entitydist 0.50

Typographical Number Theory

Entitydist 0.52

Heyting arithmetic

Entitydist 0.55

Entitydist 0.56

Entitydist 0.56

object of a category

Entitydist 0.56

What links here394 pages

Curry–Howard correspondence

Tarski's high school algebra problem

axiom of choice

Robinson arithmetic

reverse mathematics

axiomatic system

Mostowski collapse lemma

Cantor's paradox

lambda calculus

elementary equivalence

computer-assisted proof

superseded scientific theory

algebra of sets

Richard Dedekind

proof of impossibility