no statistics plz
7/28/2010 12:29:09 PM
first order arithmetic is incomplete
7/28/2010 12:29:32 PM
7/28/2010 12:32:02 PM