The discussion of the kinds of necessary proposition

• 关于必然命题种类的探讨