Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

axiom schema · Vinony

Home
Formal systems
axiom schema

🌐English

English Deutsch Français Italiano Nederlands Polski Русский 한국어 中文日本語

EntityQ792536· pop 11· linked from 394 articles

axiom schema

Also known as axiom schemas, axiom schemata

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

Available in 11 languages

Français
Deutsch
中文
日本語
Русский
Italiano
Croatian
Nederlands
Polski
Ukrainian

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Formal systems Mathematical axioms

Sources

wikipedia.externallinksexternallink

first-order logic

Entity

Zermelo–Fraenkel set theory

semantics of logic

free and bound variables

ground expression

Bertrand Russell

International Standard Book Number

John von Neumann

Sign in to save

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