举报思想的博文：

霍兰德的类型论