User blog comment:LittlePeng9/How many books are there?/@comment-5150073-20130501184536/@comment-6768393-20130502043838

How much  ZFC theorems? infinitely many?