(゜ロ゜)

逻辑炸弹这块确实，不过巴德尔能被一个电子魔女搞死机，甚至不是有机ai，也不知道为啥十九那么推崇，可能还是情怀吧

严格来说不是数论是数理逻辑不过都是数学就是了

还以为是有限域(finite field)，想着有一个有限域的同构分类的结果。结果一看是数理逻辑，应当改为“在一个包含1阶算术的自洽逻辑体系中一定存在不可证的命题”。
“有限域”是一个专有名词，这里用了可能会产生歧义。