限制逻辑思维形式化的最主要定理出自歌德尔。在任何包括算术在内的演绎体系中，有可能建构一个公式或命题，这个公式或命题在那个体系之内是无法通过证明来判定的。并且，这样的命题，著名的歌德尔命题，也可以自行表明在那个体系内是不可判定的。

任何形式体系必定是不完整的，我们的个人判断可以可靠地给它增添新的公理。它给我们提供了一个在演绎科学中进行概念革新的模型，该模型从原则上表明了数学启发力的不可穷尽，以及表明了继续利用这种可能性的行为的个人性和不可逆性。

歌德尔还表明了，被证明为不可判定的命题可能意味着那一体系的公理不能被证明为具有一致性。这表明我们从来不能完全知道我们的公理意味着什么，因为如果我们知道的话，我们就可以避免在一个公理中断言另一个公理所否定的东西的可能性。对于任何特定的演绎体系来说，这种不确定性是可以通过把它转换成一个更大范围的公理体系而消除的，在更大范围的公理体系中，我们就可以证明原来的体系的一致性。但是，任何这样的证明也还是不确实的，因为更大范围的公理体系的一致性将总是不可判定的。 https://t.cn/z8fJoIC

【成都中院发布2019年环境资源审判白皮书  公益诉讼案件数量上升明显】今天是世界环境日，为充分发挥生态环境审判职能，有效打击各类破坏环境资源犯罪，为成都高质量发展和建设践行新发展理念的公园城市示范区提供一流司法服务保障，今天，成都市中级人民法院对外发布2019年度成都法院环境资源审判白皮书及十大典型案例。
2019年，成都法院新收涉环境资源案件2398件，审结2129件，受案数和结案数分别同比增加27.89%和28.95%。其中，最高人民检察院、公安部、生态环境部联合督办的重大刑事案件3件，刑事附带民事公益诉讼19件，环境民事公益诉讼案件3件。
案件呈现出三个特点：一是案件数量呈现区域化分布。刑事案件主要分布在森林、矿产、河流等自然资源丰富的区域；民事案件主要集中在金堂县、简阳市和天府新区（自贸区）；行政案件集中在高新区；行政非诉执行案件集中在都江堰市。二是案件类型呈现集中化和新型化。刑事案件集中在环境类、资源类犯罪，包括矿产、森林、动植物、水产品等资源，并新增涉及珍贵动物的走私类犯罪；民事案件集中在土地承包经营权、承包地征收补偿费用分配等土地类纠纷，新增旅游及涉供水、电、气等资源类合同纠纷；行政案件集中在土地类行政管理案件。三是公益诉讼案件数量上升明显。2019年，成都法院共受理环境公益诉讼案件23件（新收17件），同比增加112.5%，在更大范围、更广程度上打击了环境资源犯罪，从更深层次上保护了生态环境。（记者 康沙）

扫黑与打黑有什么区别？
“打黑”更多是从社会治安角度出发，强调点对点打击黑恶势力犯罪。“扫黑”是从夯实党的执政根基、巩固执政基础、加强基层政权建设、维护国家长治久安的角度，在更大范围内，更全面、更深入的扫除黑恶势力，不但要打击犯罪，还要打击违法行为。“扫黑”更加重视综合治理、源头治理、齐抓共管。