Zhang Ruichong (Sep 14 2022 at 16:06): Zhang Ruichong (Sep 14 2022 at 16:06):image.png
Coq does not even complain my Axiom of False :rolling_on_the_floor_laughing:
Théo Zimmermann (Sep 14 2022 at 16:10):Why would it? Garbage in, garbage out.
Enrico Tassi (Sep 14 2022 at 16:10):It is safer to assume false than any other property, since you know for sure and from the beginning that it is inconsistent. Assuming something that looks true may backfire
Last updated: Dec 06 2023 at 13:01 UTC