rmzz·3 ปีที่แล้ว·discussI guess the problem is that the axioms are not preventing “this statement is false” to be an invalid statement.