Если вы сомневались, что выбрать для вашей ZFC, аксиому конструктивных множеств (V=L) или аксиомы больших кардиналов (LC), то вы только посмотрите, насколько большие кардиналы милые. Настолько милые, что тот факт, что с LC у вас будет внутренняя модель для L, оказывается не настолько решающим. Виват, большие кардиналы!