Antichain principle: Every partially ordered set has a maximal antichain.
Antichain αρχή: Κάθε μερικώς διατεταγμένο σύνολο έχει ένα μέγιστο antichain.