On 4/12/2013 6:54 PM, Virgil wrote:> In article> <cfa34ebd-fbe4-45c5-8b31-26bba6d4c08f@s4g2000vbr.googlegroups.com>,> WM <mueckenh@rz.fh-augsburg.de> wrote:>>> On 12 Apr., 19:37, Dan <dan.ms.ch...@gmail.com> wrote:>>>>>>> 3) exists k , forall n , d_n == q_kn>>>> No. That negation is valid only for all n =< k.>>>>>> Why ? This is NOT how logic works .>>>> But it is how mathematics works.>> Only the sort of mathematics that disdains logic, like WMytheology.