
Re: POLL: Is Cantor's Theorem 1st Order Logic or 2nd Order Logic?
Posted:
Dec 23, 2011 7:55 AM


On Dec 23, 5:53 pm, Graham Cooper <grahamcoop...@gmail.com> wrote: > > Cantor's theorem is an assertion in the secondorder language of > > arithmetic. It can be proved in RCA_0. > > I DON'T GIVE A FUCK! > > THE POLL IS ABOUT FOL OR 2ND ORDER LOGIC! > > CAPICHE? > > YOU JUST FUCKED THE POLL NOW EVERY FUCKING SHITHEAD IN SCI.MATH WILL > CARRY ON OBLIVIOUS TO THE MOST STUPID MISTAKE IN ALL HISTORY OF > MATHEMATICS > > GO FUCK YOURSELF YOU IDIOT > AND DON'T FUCK UP MY POSTS WITH YOU BULLSHIT COPOUTS! > > IS THE FORMULA IN FIRST ORDER LOGIC > > YES OR NO YOU LYING SHITHEAD
A classic sci.physics post.

