From: VIRGIL@VIRGIL.com   
      
   Le 15/03/2015 19:18, WM a ecrit :   
      
   >   
   > In mathematics every unambiguously defined   
   > subset of |N has a least element.   
      
   {} is an unambiguously defined subset of |N having no least element.   
      
   > The condition "F(n) is not required such that the remainder has union   
   > |N" is an unambiguous definition.   
      
    What does WM so ambiguously claim it unambiguously defines?   
   --   
   Virgil   
   "Mit der Dummheit kampfen Gotter selbst vergebens." (Schiller)   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)