Comment by kachnuv_ocasek

Yes, until you introduce inconsistent axioms. Then you can prove anything.