Metadata
Author: WikiMatrix
Data
English[en]
For trees over a well-ordered set, the Kleene–Brouwer order is itself a well-ordering if and only if the tree has no infinite branch.
Faroese[fo]
Sameindu Tjóðir er ein millumtjóða felagsskapur, og meginreglan er, at bara fullveldislond kunnu verða limir.