# Formal Structure

> What structure holds?

Record: `reasoning:node-for-structure`
Kind: node
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-node-for-structure

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Existence](https://banes-lab.com/records/reasoning/node-for-existence.md) and before [Mapping](https://banes-lab.com/records/reasoning/node-for-relation.md).

## Axis

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

## Math type

- [algebra](https://banes-lab.com/records/reasoning/math-type-algebra.md)

## Linked from

- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)