| Сандық идентификатор | |
|---|---|
| Таксономический код | [29007, 29008, 21588, 5758, 5759, 5760, 4204, 3, 1] |
| Атауы (орыс тілі) | формализация (акт формализации (например, путем установления формальных правил, регулирующих классы выражений)) |
| Атауы (ағылшын тілі) | formalization (the act of making formal (as by stating formal rules governing classes of expressions)) |
| Гипероним | systematization (systematic organization; the act of organizing something according to a system or a rationale) : систематизация (систематическая организация; акт организации чего-либо в соответствии с системой или обоснованием) |
| Гипонимдар | |
| mathematization : математизация (Внедрение математических методов и достижений математики в другие науки) |
