The Dilworth theorem for finite posets implies that a finite poset contains either a "large" chain or a "large" antichain. I am sure I saw an infinite version of this :

An infinite poset has either an infinite chain or an infinite antichain.

But I can't find a reference to that statement. What is the reference or a proof?