The Whole Number Which Has No Predecessor