Godel's incompleteness will explain some of the problems of finite regarding set theory.