...c)，用来发展各种不同的模态逻辑系统，而且不限定於集合范畴(the category of sets)上的系统，但没有很想讲这个。