根據哥德爾不完備定理，能否推導出在固定法律體系下總有一個案件既不能證明有罪也不能證明無罪？

12-30

我說的固定表示當前法律不能修改添加刪除

不能。因為法律不能推出自然數公理體系。

法律神馬的弱爆了！

不能證明有罪的就是疑罪從無，不需要證明無罪

首先你得是個形式系統。法律雖然比較 formal 了但是還差的遠。

設A是由全世界所有非空商店構成的集合，

現在有個小偷x從A中每一個商店都隨便拿走一樣商品，並且設法組成一個新的集合。

那麼請問，小偷x犯罪了嗎？

(；一_一)不能，法律是人們相互妥協出來的，不是用公理定義的

你家法律包含皮亞諾公理？？

所以法律還有判例，就是不斷的加公理么。

還有章也在不斷加公理啊，說明辯證法是對的。

根據哥德爾不完備定理，能否推導出 在固定法律體系下 總有一個案件 既不能證明有罪 也不能證明無罪？