Talk:Proper Subset of Finite Ordinal is Equivalent to Smaller Ordinal

I'm all at sea with that "questionable" template. Can someone explain what the problem is and what can be used to correct it? The proof as given matches the thrust of the contents of Halmos. --prime mover (talk) 20:02, 7 October 2015 (UTC)