Fodor’s lemma
If is a regular, uncountable cardinal, is a stationary subset of , and is regressive on (that is, for any ) then there is some and some stationary such that for any .
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。