大基数指的是其存在性能够推出ZF系统协调性的基数。如不可达基数、Ramsay基数、紧致性基数和可测基数等，其中可测基数和Ramsay基数都比弱紧基数强，而若假定选择公理，弱紧基数是不可达基数。