Hacker News new | ask | show | jobs
by caiquelira 1338 days ago
It doesn't lead to a contradiction, the contradiction was already there. If you have a contradiction on your system you can prove everything:

1- Assume ¬X

2- Point out the contradiction

3- Therefore X is true
1 comments
aristofun 1336 days ago
How and why does a specific contradiction "coll_conj and ¬coll_conj" apply to all possible conjectures?
link