1 problem

Large-cardinal consistency conjecture. If the existence of enough large cardinals is consistent, then it cannot be proved that there is some cardinal $\lambda$ carrying a $\lambda$…