logoalt 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.