axiom schema
Sign in to saveAlso known as axiom schemas, axiom schemata
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
In the Vinony graph
Vinony's link graph records 394 inbound references to axiom schema, and connects out to semantic theory of truth, mathematical logic and first-order logic.
It sits within the topics Formal systems and Mathematical axioms.
Vinony links it to 11 Wikipedia language editions.
Connections
semantic theory of truth
Entity
mathematical logic
Entity
first-order logic
Entity
formal system
Entity
Zermelo–Fraenkel set theory
Entity
recursive set
Entity
semantics of logic
Entity
free and bound variables
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
natural number
Entity
set theory
Entity
function
Entity
John von Neumann
Entity
set
Entity
axiom
Entity