斯多葛命题逻辑系统不完全性的新证明
重庆理工大学学报(社会科学) . 2024, (10): 160 -166 .