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

Yes. For example every statement "n=n" for all natural numbers n would be a ZFC theorem.