# Formal system
## Links (Wikipedia order)
<!-- injected from _registry/childlinks/Formal_system.json (2026-07-30T02:09:12Z) -->
`Abstract_logic` · `Abstract_structure` · `Ackermann_set_theory` · `Aleph_number` · [[Alexander_Bogdanov]] · `Algebraic_logic` · [[Allenna_Leonard]] · `Alphabet_(formal_languages)` · [[Anatol_Rapoport]] · [[Anthony_Wilden]] · `Argument` · `Arity` · `Atomic_formula` · `Atomic_model_(mathematical_logic)` · `Atomic_sentence` · `Augustus_De_Morgan` · `Automata_theory` · `Automated_theorem_proving` · `Axiom` · `Axiom_of_choice` · `Axiom_of_reducibility` · `Axiom_schema` · `Axiomatic_system` · `Banach–Tarski_paradox` · [[Barbara_J._Grosz]] · `Bas_van_Fraassen` · `Bijection` · `Binary_operation` · [[Biological_system]] · `Boolean_algebra` · `Boolean_algebras_canonically_defined` · `Boolean_function` · `Bra–ket_notation` · [[Béla_H._Bánáthy]] · [[C._West_Churchman]] · `Cantor's_diagonal_argument` · `Cantor's_paradox` · `Cantor's_theorem` · `Cardinality` · `Cartesian_product` · `Categorical_theory` · `Category_(mathematics)` · `Category_of_sets` · `Category_theory` · [[Charles_A._S._Hall]] · `Church_encoding` · `Church–Turing_thesis` · `Class_(set_theory)` · `Classical_logic` · [[Claude_Shannon]] · `Codomain` · `Compactness_theorem` · `Complement_(set_theory)` · `Complete_theory` · `Completeness_(logic)` · [[Complex_system]] · `Computability_theory` · `Computable_function` · `Computable_set` · `Computably_enumerable_set` · `Computational_linguistics` · `Concrete_category` · `Conservative_extension` · `Consistency` · `Constructible_universe` · `Construction_of_the_real_numbers` · `Constructive_set_theory` · `Continuum_hypothesis` · [[Control_theory]] · `Countable_set` · [[Coupled_human–environment_system]] · [[Cybernetics]] · `David_Hilbert` · `Decidability_(logic)` · `Decision_problem` · [[Deductive_reasoning]] · `Dependent_type` · `Descriptive_set_theory` · `Determinacy` · `Diagram_(mathematical_logic)` · `Domain_of_a_function` · `Domain_of_discourse` · [[Donella_Meadows]] · [[Doubling_time]] · `Douglas_Hofstadter` · [[Earth_system_science]] · `Economic_system` · [[Ecosystem]] · [[Edsger_W._Dijkstra]] · [[Edward_Norton_Lorenz]] · `Elementary_equivalence` · `Elementary_function_arithmetic` · `Empty_set` · `Enumeration` · `Equiconsistency` · `Equivalence_relation` · [[Eric_Trist]] · `Euclid's_Elements` · `Euclidean_geometry` · `Europe` · `Existential_quantification` · `Expression_(mathematics)` · `Extension_by_new_constant_and_function_names` · `Extensionality` · `Finitary_relation` · `Finite-valued_logic` · `Finite_model_theory` · `Finite_set` · [[First-order_logic]] · `Fixed-point_logic` · `Forcing_(mathematics)` · `Formal_grammar` · `Formal_language` · `Formal_methods` · `Formal_proof` · `Formal_science` · `Formal_verification` · `Formalism_(philosophy_of_mathematics)` · `Formation_rule` · `Foundations_of_geometry` · `Foundations_of_mathematics` · [[Francisco_Varela]] · `Fred_Emery_(psychologist)` · `Free_logic` · `Free_variables_and_bound_variables` · `Function_(mathematics)` · `Fuzzy_set` · `General_set_theory` · `Generative_grammar` · [[George_Boole]] · [[George_Dantzig]] · [[George_Klir]] · `Glossary_of_category_theory` · `Gottlob_Frege` · [[Gregory_Bateson]] · `Grothendieck_universe` · `Ground_expression` · `Gödel's_completeness_theorem` · `Gödel's_incompleteness_theorems` · `Gödel_numbering` · `Halting_problem` · [[Heinz_von_Foerster]] · `Hereditary_set` · `Higher-order_logic` · `Higher_category_theory` · `Hilbert's_axioms` · `Hilbert's_program` · `Hilbert_system` · `History_of_logic` · `History_of_type_theory` · `Homotopy_type_theory` · [[Howard_T._Odum]] · [[Humberto_Maturana]] · [[Ilya_Prigogine]] · `Image_(mathematics)` · `Inaccessible_cardinal` · `Independence_(mathematical_logic)` · `Inference` · `Infinite-valued_logic` · `Infinite_set` · [[Information_system]] · [[Information_theory]] · `Inhabited_set` · `Injective_function` · `Interpretation_(logic)` · `Interpretation_(model_theory)` · `Intersection_(set_theory)` · `Intuitionistic_type_theory` · `Isomorphism` · [[James_Grier_Miller]] · [[James_J._Kay]] · [[Jay_Wright_Forrester]] · [[Jennifer_Wilby]] · [[John_Seddon]] · [[Kathleen_Carley]] · [[Katia_Sycara]] · `Kenneth_E._Boulding` · [[Kevin_Warwick]] · `Kolmogorov_complexity` · `Kripke–Platek_set_theory` · `Kurt_Gödel` · `Lambda_calculus` · `Large_cardinal` · `Lemma_(mathematics)` · [[Limiting_factor]] · `Lindström's_theorem` · `Linguistics` · `List_of_axioms` · `List_of_first-order_theories` · `List_of_formal_systems` · `List_of_mathematical_logic_topics` · `List_of_mathematical_theories` · `List_of_set_identities_and_relations` · `List_of_set_theory_topics` · `List_of_statements_independent_of_ZFC` · [[List_of_systems_sciences_organizations]] · `List_of_systems_scientists` · [[Living_systems]] · [[Logic]] · `Logic_translation` · `Logical_biconditional` · `Logical_conjunction` · `Logical_connective` · `Logical_consequence` · `Logical_constant` · `Logical_disjunction` · `Logical_equality` · `Logical_equivalence` · `Logical_form` · `Logical_truth` · `Logicism` · [[Ludwig_von_Bertalanffy]] · [[Lydia_Kavraki]] · `Löwenheim–Skolem_theorem` · [[Manfred_Clynes]] · [[Manuela_M._Veloso]] · `Many-valued_logic` · `Map_(mathematics)` · [[Margaret_Boden]] · [[Margaret_Mead]] · [[Mary_Cartwright]] · `Material_conditional` · `Mathematical_induction` · `Mathematical_linguistics` · `Mathematical_logic` · `Mathematical_notation` · `Mathematical_object` · `Mathematical_proof` · `Mathematics` · `Metalanguage` · `Metamathematics` · `Metatheorem` · [[Mihajlo_D._Mesarovic]] · `Mike_Jackson_(systems_scientist)` · `Minimal_axioms_for_Boolean_algebra` · `Modal_logic` · `Model_complete_theory` · `Model_theory` · `Monadic_predicate_calculus` · `Monadic_second-order_logic` · `Morse–Kelley_set_theory` · [[Multi-agent_system]] · [[Murray_Bowen]] · `NP_(complexity)` · `Naive_set_theory` · `Natural_deduction` · `Natural_language_processing` · `Negation` · [[Negative_feedback]] · [[Nervous_system]] · `New_Foundations` · [[Niklas_Luhmann]] · `Non-Euclidean_geometry` · `Non-logical_symbol` · `Non-standard_model` · `Non-standard_model_of_arithmetic` · `Nonsense` · [[Norbert_Wiener]] · `Open_formula` · `Operation_(mathematics)` · `Ordinal_analysis` · `Ordinal_number` · `P_(complexity)` · `P_versus_NP_problem` · `Paradoxes_of_set_theory` · `Partition_of_a_set` · `Paul_Dirac` · `Peano_axioms` · [[Peter_Senge]] · `Philosophy_of_mathematics` · `PlanetMath` · [[Positive_feedback]] · `Power_set` · `Predicate_variable` · `Prime_model` · `Primitive_recursive_arithmetic` · `Primitive_recursive_function` · [[Principia_Cybernetica]] · `Principia_Mathematica` · `Production_(computer_science)` · `Programming_language_theory` · `Proof_of_impossibility` · `Proof_theory` · [[Proposition]] · `Propositional_formula` · `Propositional_variable` · `Pāṇini` · [[Qian_Xuesen]] · `Quantifier_(logic)` · `Quantifier_rank` · [[Radhika_Nagpal]] · [[Recommender_system]] · `Recursion` · `Regular_expression` · `Relation_(mathematics)` · `Reverse_mathematics` · `Robinson_arithmetic` · `Rule_of_inference` · `Russell's_paradox` · `Russell_L._Ackoff` · `Ruzena_Bajcsy` · `Satisfiability` · `Saturated_model` · `Schröder–Bernstein_theorem` · `Second-order_arithmetic` · `Second-order_logic` · `Self-verifying_theories` · `Semantic_theory_of_truth` · `Sentence_(mathematical_logic)` · `Sequent_calculus` · `Set_(mathematics)` · [[Set_theory]] · `Signature_(logic)` · `Singleton_(mathematics)` · `Skolem_arithmetic` · `Social_system` · [[Sociotechnical_system]] · `Soundness` · `Spectrum_of_a_sentence` · `Spectrum_of_a_theory` · `Square_of_opposition` · [[Stafford_Beer]] · [[Stephanie_Forrest]] · `Stephen_Cole_Kleene` · `Strength_(mathematical_logic)` · `String_(computer_science)` · `Structuralism_(philosophy_of_mathematics)` · `Structure_(mathematical_logic)` · `Substitution_(logic)` · `Substructure_(mathematics)` · `Supertask` · `Surjective_function` · `Syllogism` · `Symbol_(formal)` · `Syntax_(logic)` · [[System]] · [[System_dynamics]] · `Systemics` · `Systems_analysis` · `Systems_art` · [[Systems_biology]] · [[Systems_ecology]] · [[Systems_engineering]] · [[Systems_neuroscience]] · [[Systems_pharmacology]] · `Systems_philosophy` · `Systems_psychology` · [[Systems_science]] · [[Systems_theory]] · `Systems_theory_in_anthropology` · [[Systems_theory_in_archaeology]] · [[Systems_theory_in_political_science]] · [[Systems_thinking]] · `T-schema` · [[Talcott_Parsons]] · `Tarski's_axiomatization_of_the_reals` · `Tarski's_axioms` · `Tarski's_undefinability_theorem` · `Tarski–Grothendieck_set_theory` · `Tautology_(logic)` · `Term_(logic)` · `Term_logic` · `Theorem` · `Theories_of_truth` · `Theory` · `Theory_(mathematical_logic)` · `Three-valued_logic` · `Timeline_of_mathematical_logic` · `Topos` · `Transfer_principle` · `Transitive_set` · `True_arithmetic` · `Truth_predicate` · `Truth_table` · `Truth_value` · `Turing_machine` · [[Twelve_leverage_points]] · `Type_(model_theory)` · `Type_theory` · `Ultraproduct` · `Uncountable_set` · `Undecidable_problem` · `Union_(set_theory)` · `Uniqueness_quantification` · `Univalent_foundations` · `Universal_quantification` · `Universal_set` · `Universe_(mathematics)` · [[Urban_metabolism]] · `Urelement` · `Validity_(logic)` · `Variable_(mathematics)` · `Venn_diagram` · `Victor_Aladjev` · `Von_Neumann_universe` · `Von_Neumann–Bernays–Gödel_set_theory` · [[Wayback_Machine]] · `Well-formed_formula` · `World-systems_theory` · `Zermelo_set_theory` · `Zermelo–Fraenkel_set_theory` · `∞-groupoid` · `∞-topos`
## From the Real GENERATIVE library (beauty pass)
*Formal system — image hotlinked from Wikimedia Commons (via the Real G.E.N.E.R.A.T.I.V.E. course library, STEM and Music room). [Details & license](https://commons.wikimedia.org/wiki/File:Formal_languages.svg).*
> A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms by a set of inference rules.[1] ([Wikipedia](https://en.wikipedia.org/wiki/Formal_system))
<!-- BEAUTY-PASS-MEDIA:END -->
> Summary stub · part of [[System]] · [Wikipedia source](https://en.wikipedia.org/wiki/Formal_system)
## Summary
A formal system (also called a deductive system) is an abstract mathematical [[Structure|structure]] consisting of axioms (foundational statements assumed true) and inference rules (procedures for deriving new statements from existing ones) that together enable logical deduction of theorems from the axiomatic base. Formal systems are central to logic, mathematics, and theoretical [[Computer_science|computer science]], providing a rigorous framework for reasoning about abstract structures and proving properties of systems without ambiguity or informal reasoning. Examples include propositional logic, predicate logic, and various axiomatic mathematical systems that ground different branches of mathematics in explicit logical foundations. A formal system is itself a type of system: it is composed of elements (symbols, statements, rules) and relationships (logical dependencies, derivation pathways) structured in ways that determine what conclusions can be derived. Formal systems demonstrate that systematic structure—defining clear rules and starting assumptions—enables rigorous reasoning and proof about abstract systems.
## Key points
- Abstract structure consisting of axioms and inference rules enabling logical deduction
- Central to logic, mathematics, and theoretical computer science
- Provides unambiguous, rigorous framework for reasoning about abstract structures
- Examples include propositional logic, predicate logic, and axiomatic mathematical theories
- Formal systems themselves exemplify how structure and rules determine emergent properties
## Relation to System
Formal systems exemplify how explicit definition of elements and rules determines what conclusions and properties emerge, a principle central to [[Systems_thinking|systems thinking]]. The study of formal systems reveals limits on what can be proven (e.g., Gödel's incompleteness), demonstrating that even abstract logical systems have inherent constraints on what they can know about themselves—a principle with implications for understanding the limits of knowledge about any system.
## Sources
- [Formal system — Wikipedia](https://en.wikipedia.org/wiki/Formal_system)
Back to [[System]]
---
<!-- SEMIOTIC-PROFILE:START -->
## Semiotic profile
> *The semiotic universals this article invokes, machine-derived from the crossref — **unverified** (born so). Populated 2026-07-06 for the Systems room.*
**Universals (4):** 🟡 system (22) · 🟡 structure (7) · 🟢 emergence (2) · 🟡 science (2)
**Enter by sign:** Systems Semiotic Gateway · Alphabetum · Icon Registry · ← Systems Portal
<!-- SEMIOTIC-PROFILE:END -->
<!-- BEAUTY-PASS-MEDIA:START -->
## Wikipedia : Wikitube
**Strict pair:** [Wikipedia](https://en.wikipedia.org/wiki/Formal_system) : [Wikitube](https://en.wikitube.io/wiki/Formal_system)
## Previous hub tags
Tree parent: [[Systems_theory]].
Legacy hubs: none.
---
*Sources: 1 legacy note. Minted wave 1, 2026-07-30 (v1.6 order).*