Harvey Friedman, one of the most renowned contemporary logicians, has a research program devoted to finding such examples as those you seem to be looking for. T

Harvey Friedman, one of the most renowned contemporary logicians, has a research program devoted to finding such examples as those you seem to be looking for. This article presents his views: https://nautil.us/this-man-is-about-to-blow-up-mathematics-236446/ https://nautil.us/this-man-is-about-to-blow-up-mathematics-2...