Talk:Ordinal Subset is Well-Ordered

From ProofWiki
Jump to navigation Jump to search

Problem

The theory references Subset of Well-Ordered Set is Well-Ordered, which is the analogous theorem for well-orders (instead of strict well-orders). -- User:Asalmon

... the problem being? --prime mover (talk) 22:11, 1 September 2012 (UTC)