关于罗素的类型论和还原公理

类型论是为解决悖论问题提出的。通过对命题函项的分层以及对类型的限制,许多悖论就可以避免,类型论的限制很强,罗素又引入还原公理使数学成为可能。类型论可以解决日常语言与传统哲学中的许多问题,还原公理则使日常语言成为可能。但是,类型论面临现实中的复杂情况所带来的困难,还原公理则面临自身存在的合法性的困难,而罗素没有完全解决这些困难。