formalization
P55752
predicate
Indicates that an informal concept, process, or agreement is being expressed, structured, or codified in a formal, explicit, and often standardized way.
Sample triples (1)
| Subject | Object |
|---|---|
| Grothendieck universe | often added to ZFC as an extra axiom scheme ⓘ |