large cardinal

cardinal number in set theory not provable from ZFC

Categories: