Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

FormulaTwo

Abstract

Selected licensed finite first-order syntax and rewriting support.

Finite free-variable support and its bound for natural-number variables support closure. Language maps preserve formula constructors, with the original proofs of connective and quantifier preservation.

Exact upstream paths, selected capacity spans, exclusions, modification notices and the Apache-2.0 license are in Library/ConceptDynamics/foundation2026firstorder.md.

This prerequisite API supports later concrete set coding and definition elimination. It does not establish the complete CSA construction or its ZFC conservativity claim.

References