Axiom schema

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

axiom schema of replacement axiom schema of predicative separation axiom schema of specification

Showing 0 to 3 of 3 Items