Changes

{{cquote|Neither can there be a separated infinite number: for number, or what has number, is countable, and so, if it is possible

{{cquote|Neither can there be a separated infinite number: for number, or what has number, is countable, and so, if it is possible

to count what is countable, it would be possible to traverse the infinite.|||[[Aristotle]]}}

to count what is countable, it would be possible to traverse the infinite.|||[[Aristotle]]}}

Aristotle posits an argument that shows an infinite regress to result in a contradiction. Formed using predicate logic, the [[proof]] reads like this:

Aristotle posits an argument that shows an infinite regress to result in a contradiction. Formed using predicate logic, the [[proof]] reads like this:<ref>Nawar, Tamer. “Aristotelian Finitism,” Synthese 192, no. 8 (July 2015): 2345-2346.</ref>

#Nx⊃Cx

#Nx⊃Cx