Comment by immmmmm 11 days ago Aren’t some type systems (eg Lean) able to essentially verify/prove arbitrary mathematics? 1 comment immmmmm Reply kachnuv_ocasek 11 days ago Yes, until you introduce inconsistent axioms. Then you can prove anything.
kachnuv_ocasek 11 days ago Yes, until you introduce inconsistent axioms. Then you can prove anything.
Yes, until you introduce inconsistent axioms. Then you can prove anything.