User contributions for 161.184.222.239
Jump to navigation
Jump to search
1 April 2012
- 07:5207:52, 1 April 2012 diff hist +11,788 N Ω-consistent theory Undid revision 484958022 by 161.184.222.239 (talk) I'm an idiot. Sorry. I forgot T also has to be primitively recursively axiomatized and some other stuff. Many apologies people.