isLimitOfIncreasingSequenceOfOrdinals
P142103
predicate
Indicates that one ordinal is the limit (supremum) of an increasing sequence of smaller ordinals.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | true ⓘ |