# Formalization

> expressing ideas symbolically

Record: `reasoning:mode-formalization`
Kind: mode
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-mode-formalization

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Generalization](https://banes-lab.com/records/reasoning/mode-generalization.md) and before [Explanation](https://banes-lab.com/records/reasoning/mode-explanation.md).

## Grounded by

- [FORMALIZE](https://banes-lab.com/records/pag/keyword-action-formalize.md)

## Concept of

- [Formalization](https://banes-lab.com/records/reasoning/axis-formalization.md)

## Linked from

- [action](https://banes-lab.com/ontology/grammar/pag-keywords-action.md)