isAdditivelyIndecomposable
P142099
predicate
Indicates that an entity (typically an ordinal or algebraic object) cannot be expressed as a nontrivial sum of two smaller entities of the same kind.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | true ⓘ |