alt
Hacker News
kachnuv_ocasek
•
yesterday at 5:14 PM
•
0 replies
•
view on HN
Yes, until you introduce inconsistent axioms. Then you can prove anything.