Sentence examples for axiom schema from inspiring English sources

The axiom schema for class formation is presented in a form to facilitate a comparison with the axiom schema of separation of ZFC.

In contrast to the axiom schema of replacement of ZFC, the NBG version is not an axiom schema but an axiom.

The need for the proviso in axiom schema 3 can also be seen from an example.

However, an instance of the "axiom schema of replacement" provides for its existence.

An instance of the axiom schema of replacement asserts that ω, ω′, ω″, … form a set.

For an understanding of the "axiom schema of separation" considerable explanation is required.

Axiom schemas can be thought of as zero-premise argument-text schemas. is valid.

This leads him to reject the characteristic axiom schemas of both S4 and S5.

Thus the last two rules of inference and the last two axiom schemas are absent from the propositional theory.

The three axiom schemas P, K, and T, together with the derivation rules MP and NEC, complete our minimal epistemic modal logic.

Some logics may be formulated using axioms (rather than axiom schemas) together with the rule of condensed detachment without loss of theorems.