2017년 8월 30일 (수) 12:39 판 편집 TedBot (토론 \| 기여) 봇, 업로더 2,726,470 편집 잔글 봇: 문단 이름 변경 (바깥 고리 → 외부 링크) ← 이전 편집		2017년 10월 8일 (일) 17:15 판 편집 편집 취소 TedBot (토론 \| 기여) 봇, 업로더 2,726,470 편집 잔글 봇: 틀 이름 및 스타일 정리 다음 편집 →
49번째 줄: 임의의 집합 <math>X</math>가 주어졌다고 하자. 그렇다면, 연산 :<math>Q\colon S\mapsto\mathcal P(S\times X)</math> 에 대한 누적 위계를 <math>X</math>-'''[[이름 (강제법)\|이름 위계]]'''({{llang\|en\|hierarchy of <math>X</math>-names}})라고 하며,<ref name="Kunen">{{서적 인용\|title=Set theory: an introduction to independence proofs\|성=Kunen\|이름=Kenneth\|~~저자고리~~저자링크=케네스 쿠넌\|publisher=North-Holland\|year=1980\|isbn=0-444-85401-0\|언어=en}}</ref>{{rp\|188, Definition VII.2.5}} <math>\operatorname{Name}_{X,\alpha}</math>로 표기한다. 이 개념은 [[강제법]]에 핵심적으로 사용된다. == 역사 == 58번째 줄: == 참고 문헌 == {{각주}} * {{저널 인용\|doi=10.2307/2025204\|jstor=2025204\|제목=The iterative conception of set\|저널=The Journal of Philosophy\|이름=George\|성=Boolos\|~~저자고리~~저자링크=조지 불로스\|권=68\|호=8\|쪽=215–231\|issn=0022-362X\|날짜=1971-04-22\|언어=en}} * {{저널 인용\|doi=10.1017/S1755020308080064\|제목=The iterative conception of set\|이름=Thomas\|성=Forster\|저널=The Review of Symbolic Logic\|권=1\|호=1\|날짜=2008-06\|쪽=97–110\|언어=en}}

누적 위계: 두 판 사이의 차이