losetorain@tg says to 電訊台 So that's why I don't think you can apply the incompleteness theorems to moral theories