isLimitOrdinal
P142096
predicate
Indicates that an ordinal is a limit ordinal, i.e., it is nonzero and has no immediate predecessor, being the limit of all smaller ordinals.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | true ⓘ |