formal system
any well-defined system of abstract thought based on the model of mathematics
Also known as: logical calculus
Instance Of
- [type of system](https://wiki.org.ai/type of system)
- [Conceptual system](https://wiki.org.ai/Conceptual system)
Properties
| Property | Value |
|---|---|
| Instance of | type of system |
| Subclass of | Conceptual system |