判断题 对符合同一原理的命题，通过证明它的否命题成立，从而肯定原命题成立的证明方法称为同一法。

单项选择题 下列关于IOC依赖注入的说法不正确的是（）

判断题 近代公理学认为，衡量一门学科是否成熟的标志是看这门学科是否能用公理化的方法读出来。