ParentFull threadkachnuv_ocasek·Yes, until you introduce inconsistent axioms. Then you can prove anything.View on HN