프린스턴 교수가 Peano Arithmetic의 inconsistency 를 보였다고 주장하는데 여긴 조용하네. 아닐 가능성이 크지만 만일 맞다면 현재 우리가 사용하는 모든 수학체계는 inconsistent 한게 됨. 만일 이게 맞다면 20세기 이후 가장 충격적인 결과일듯. http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039531