A proof that is infeasible for humans but feasible for superintelligences cannot ground consistency ...
This proposition has not been edited since the history system was added.