is no ordinal =beta; < 0, and the set (F(=beta;) I a < 0} is empty. So F(0) is equal to 0 (t=e smallest ordinal of all). Now that F(0) is known, the definitio= applied to F(1) makes sense (it is the smallest ordinal not in t=e singleton set (F(0)) = {0} it sort of says an approximation to truth. by reducti