------------------------>> There is no remainder in the mathematics of infinity.>>>> NYOGEN SENZAKI>> ---------------------------------------------------->> The post is not about FOL, it is about a kind of predicative> extensional logic which is second order, all of my comments are about> that kind of logic and not about FOL. FOL is logic yes but it doesn't> encompass all kinds of logic, the predi