This note shows that several statements about fixpoints in order theory are equivalent to Knaster–Tarski Fixpoint Theorem for complete lattices. All proofs have been done in Zermelo–Fraenkel set theory without the Axiom of Choice.

中文翻译：

---

关于Knaster–Tarski定点定理的注释

此注释显示，关于定序理论的定点的一些陈述等效于完整格的Knaster–Tarski定点定理。在没有选择公理的情况下，所有证明均已通过Zermelo–Fraenkel集论完成。