Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

axiom schema

You are here: irt.org | FOLDOC | axiom schema

<logic> A formula in the language of an axiomatic system, containing one or more. These metasyntactic variables (or "schematic variables") that stand for terms or subformulae. An example is the Axiom of Comprehension.

(2009-02-10)

Nearby terms: axiomatic set theory « Axiom of Choice « Axiom of Comprehension « axiom schema » AXLE » ayacc » AYT

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb