Introduction to Mathematical Philosophy

by Bertrand Russell

is not 2, or neither is 2 and

is less than

." The one which puts first all the odd numbers and then all the even ones will be defined by: "

and

are finite integers, and either