根据布莱克威尔西方哲学词典,"伪命题"如下:
维特根斯坦在"逻辑哲学论"中引用的一个术语,指的是任何试图说出只能显示的判断.与其他命题不同,伪命题不能分析为原子图像及其组合,因此它们不是世界的图像.维特根斯坦认为,逻辑命题,数学,自然科学,伦理学和哲学的先验部分 - 包括他自己的"逻辑哲学论"的命题 - 都以不同的方式都是伪命题.逻辑实证主义者在他们对形而上学的攻击中发展了这一观点,他们说所有旨在提出事实主张但无法通过经验验证的命题和陈述都是伪命题.他们具有情感意义,但缺乏认知意义.有许多尝试通过逻辑实证来检索至少一些以这种方式丢弃的字段."数学的命题是方程式,因此是伪命题."维特根斯坦,Tractatus
如果你在这个意义上使用"伪命题",那么即使我们可以为它开发一个数学证明,你的命题也是一个伪命题,因为根据维特根斯坦的说法,所有的数学都是伪命题.如果不可能通过观察验证命题"类加载仅发生一次"总是如此.
但对我来说,这只是说当我们谈论IT主题时,标签"伪命题"并不是一个有用的标题.在这种情况下使用它的人或者不是真正理解这个术语,或者是在摆姿势.
我怀疑(甚至)有可能在数学上证明一个类只加载一次,因为你必须为任何(理论上)可能的类加载器证明这一点.但坦率地说,谁在乎呢!我很高兴宣布任何允许多次加载类的类加载器都会被破坏.
(事实上,如果你有多个类加载器,它是可以在每个类加载器加载一次相同的字节码文件,但你从Java执行模型的角度得到的是不同类具有相同名称.)