1. For any finite number n, if there can be n horses, there can be fewer than n horses.
2. There cannot be fewer than zero horses.
3. Thus there must be an infinite number of horses.
The inference proceeds as follows. Imagine that there can be some finite number, say 10, of horses. Then by applying (1) ten times, we will conclude that there can be fewer than zero horses.