User blog comment:LittlePeng9/Higher order set theory/@comment-2033667-20140921204851/@comment-2033667-20140921205736

where's the error? just curious