六一儿童节：

幂集公理 Axiom of power set，人类的梦魇

 
ZFC (Zermelo–Fraenkel set theory with the axiom of choice) From Encyclopedia of Mathematics
http://www.encyclopediaofmath.org/index.php/ZFC
Cantor theorem From Encyclopedia of Mathematics
http://www.encyclopediaofmath.org/index.php/Cantor_theorem
 
承认策梅洛-弗兰克尔集合理论ZF中的幂集公理，则承认不同集合之间有“量”的明显差异。
由于“幂集公理 Axiom of power set”直接导致了“康托定理 Cantor theorem”。
康托定理直接导致：

（1）对于DTM，P≠NP；
http://www.claymath.org/millennium/P_vs_NP/ 

（2）四色定理 Four-colour problem
http://www.encyclopediaofmath.org/index.php/Four-colour_problem

（3）?

请您补充！