stanford-oval/wikipedia huggingface dataset:
강자 (영화)

| 강자 The Strong Man |
| --- | --- |
점보 로비 카드
감독: 프랑크 카프라
각본: 테이 가넷
제작: 해리 랭던
원작: 아서 리플리
출연: 해리 랭던, 프리실라 보너
촬영: 엘진 레슬리, 글렌 케쉬너
편집: 해롤드 영, 아서 리플리
음악: 칼 데이비스
개봉일:  1926년 9월 19일 (1926-09-19)(미국) 
시간: 75분
국가: 미국
언어: 무성, 영어 인터타이틀
강자(The Strong Man)는 미국에서 제작된 프랑크 카프라 감독의 1926년 영화이다. 해리 랭던 등이 주연으로 출연하였고 해리 랭던 등이 제작에 참여하였다.
이 영화는 문화적, 역사적, 미적 중요성으로 인해 미국 의회도서관에 의해 미국 국립영화등기부의 보존물로 선정되었다.
출연 > 주연

해리 랭던
프리실라 보너
출연 > 조연

거트루드 애스터
윌리엄 V. 몽
아서 탈라소
브룩 베네딕
Starboy (음반)

《Starboy》는 2016년 11월 25일에 발매된 위켄드의 음반이다.
곡 목록

| # | 제목 | 작사·작곡 | 프로듀서 | 재생 시간 |
| --- | --- | --- | --- | --- |
| 1. | Starboy (featuring Daft Punk) | Abel Tesfaye Thomas Bangalter Guy-Manuel de Homem-Christo Martin McKinney Henry Russell Walter Jason Quenneville | Daft Punk Doc McKinney Cirkut The Weeknd | 3:50 |
| 2. | Party Monster | Tesfaye Benjamin Diehl McKinney Ahmad Balshe Lana Del Rey | Ben Billions Doc McKinney The Weeknd | 4:09 |
| 3. | False Alarm | Tesfaye McKinney Balshe Diehl Walter Emmanuel Nickerson | Doc McKinney The Weeknd Cirkut Mano | 3:40 |
| 4. | Reminder | Tesfaye Nickerson McKinney Dylan Wiggins Walter Quenneville | Doc McKinney Mano Cirkut | 3:38 |
| 5. | Rockin' | Tesfaye Max Martin Peter Svensson Savan Kotecha Ali Payami Balshe | Martin Payami The Weeknd | 3:52 |
| 6. | Secrets | Tesfaye McKinney Walter Wiggins Roland Orzabal Coz Canler Jimmy Marinos Wally Palamarchuk Mike Skill Peter Solley | Doc McKinney The Weeknd Cirkut | 4:25 |
| 7. | True Colors | Tesfaye William Thomas Walsh Magnus Høiberg Benjamin Levin Brittany Hazzard Samuel Wishkoski Jacob Dutton | Benny Blanco Cashmere Cat The Weeknd Jake One Swish | 3:26 |
| 8. | Stargirl Interlude (featuring Lana Del Rey) | Tesfaye Del Rey McKinney Timothy McKenzie | Doc McKinney Labrinth | 1:51 |
| 9. | Sidewalks (featuring Kendrick Lamar) | Tesfaye Kendrick Duckworth McKinney Daniel Wilson Robert John Richardson Ali Shaheed Jones-Muhummad | Doc McKinney Bobby Raps Ali Shaheed Muhammad | 3:51 |
| 10. | Six Feet Under | Tesfaye Nayvadius Wilburn McKinney Diehl Leland Wayne Walter Balshe Quenneville | Doc McKinney Cirkut Metro Boomin Ben Billions The Weeknd | 3:57 |
| 11. | Love to Lay | Tesfaye Martin Svensson Kotecha Payami Balshe | Martin Payami The Weeknd | 3:43 |
| 12. | A Lonely Night | Tesfaye Martin Svensson Kotecha Payami Balshe Quenneville | Martin Payami | 3:40 |
| 13. | Attention | Tesfaye Walsh Levin Høiberg Adam Feeney Mustafa Ahmed | Benny Blanco Cashmere Cat Frank Dukes The Weeknd | 3:17 |
| 14. | Ordinary Life | Tesfaye Martin Svensson Kotecha Payami Balshe McKinney Walter | Doc McKinney Cirkut | 3:41 |
| 15. | Nothing Without You | Tesfaye Quenneville Diehl Thomas Pentz Balshe Walter | Diplo Ben Billions The Weeknd Cirkut | 3:18 |
| 16. | All I Know (featuring Future) | Tesfaye Wilburn Diehl Høiberg Balshe | Ben Billions Cashmere Cat The Weeknd | 5:21 |
| 17. | Die for You | Tesfaye McKinney Prince 85 Wiggins Høiberg Walsh | Doc McKinney Cirkut The Weeknd Cashmere Cat Prince 85 | 4:20 |
| 18. | I Feel It Coming (featuring Daft Punk) | Tesfaye Bangalter de Homem-Christo McKinney Walter Eric Chedeville | Daft Punk Doc McKinney Cirkut The Weeknd | 4:29 |
| 총 재생 시간: | 총 재생 시간: | 총 재생 시간: | 총 재생 시간: | 68:40 |
| # | 제목 | 작사·작곡 | 프로듀서 | 재생 시간 |
| --- | --- | --- | --- | --- |
| 19. | Starboy (featuring Daft Punk) (Kygo Remix) | Tesfaye Bangalter de Homem-Christo McKinney Walter Quenneville | Daft Punk Doc McKinney Cirkut The Weeknd Kygo | 4:04 |
| 총 재생 시간: | 총 재생 시간: | 총 재생 시간: | 총 재생 시간: | 72:44 |
인증

| 국가 | 인증 | 판매량/출하량 |
| --- | --- | --- |
| 오스트레일리아 (ARIA) | 플래티넘 | 70,000 |
| 오스트리아 (IFPI 오스트리아) | 플래티넘 | 15,000* |
| 브라질 (Pro-Música Brasil) | 골드 | 20,000* |
| 캐나다 (뮤직 캐나다) | 3× 플래티넘 | 240,000 |
| 덴마크 (IFPI Danmark) | 4× 플래티넘 | 80,000 |
| 프랑스 (SNEP) | 2× 플래티넘 | 200,000 |
| 독일 (BVMI) | 골드 | 100,000 |
| 이탈리아 (FIMI) | 플래티넘 | 50,000 |
| 멕시코 (AMPROFON) | 플래티넘+골드 | 90,000 |
| 노르웨이 (IFPI 노르웨이) | 플래티넘 | 30,000* |
| 폴란드 (ZPAV) | 골드 | 10,000 |
| 포르투갈 (AFP) | 골드 | 7,500^ |
| 싱가포르 (RIAS) | 플래티넘 | 10,000* |
| 스웨덴 (GLF) | 2× 플래티넘 | 80,000 |
| 영국 (BPI) | 플래티넘 | 300,000 |
| 미국 (RIAA) | 3× 플래티넘 | 3,000,000 |
*판매량을 기반으로 한 인증 ^출하량을 기반으로 한 인증 판매량+스트리밍을 기반으로 한 인증
평가

| 전문가 평가> 총 점수.출처 | 전문가 평가> 총 점수.점수 |
| --- | --- |
AnyDecentMusic?: 6.4/10
메타크리틱: 67/100
평가 점수
출처: 점수
AllMusic: 
The A.V. Club: B
The Daily Telegraph: 
Entertainment Weekly: B
The Guardian: 
The Independent: 
NME: 
Pitchfork: 6.7/10
Q: 
Rolling Stone:
루차바시

시 문장
루차바 시의 위치
루차바시(라트비아어: Rucavas novads)는 라트비아의 지방 자치체로 행정 중심지는 루차바이며 면적은 448.6km2, 인구는 2,000명(2010년 기준), 인구 밀도는 4.5명/km2이다. 2개 교구를 관할한다.
| v t e라트비아의 행정 구역 |
| --- | --- | --- |
| 직할시 |  다우가프필스  레제크네  리가  리에파야  벤츠필스  옐가바  유르말라  |  |
| 지방 자치체 |  굴베네시  남쿠르제메시  도벨레시  레제크네시  로파지시  루자시  리바니시  림바지시  마도나시  마루페시  바라클랴니시  바우스카시  발미에라시  발비시  발카시  벤츠필스시  사울크라스티시  살두스시  살라스필스시  스밀테네시  시굴다시  아다지시  아욱슈다우가바시  아이스크라우클레시  알룩스네시  예캅필스시  옐가바시  오그레시  올라이네시  체시스시  체카바시  쿨디가시  크라슬라바시  탈시시  투쿰스시  프레일리시  |  |
| 전거 통제  |
| --- | --- |
국가:  라트비아 
지리:  뮤직브레인즈 지역
환경 음향 확장

| --- | --- |
원저자: 크리에이티브 테크놀로지
개발자: 크리에이티브 테크놀로지
발표일: 1999

최종 버전: 5.0    / 2005
 
라이선스: 사유
환경 음향 확장(Environmental audio extensions, 줄여서 EAX)은 크리에이티브 테크놀로지사의 후반 사운드 블라스터 사운드 카드와 크리에이티브 NOMAD/크리에이티브 젠 제품 계열에 존재하는 수많은 디지털 신호 처리 프리셋 집합이다. EAX는 2001년에 A3D(Aureal 3D)를 대체하였다.
버전

EAX에는 기능의 수에 따라 수많은 버전이 있다. 아래에는 현재 사용할 수 있는 EAX 버전이 간략히 나열되어 있으며 이전 버전에 대한 추가 기능을 밝힌다.
버전 > EAX 1.0

하드웨어적으로 8개 동시 보이스 처리 가능
32개의 개별 3차원 보이스
환경 효과 프리셋
각 채널에 대한 개별 환경 프리셋
하드웨어 DSP 렌더링
버전 > EAX 2.0

EAX 2.0은 사운드 블라스터 라이브! 사운드 카드에 쓰였다.
하드웨어적으로 32개의 동시 보이스 처리 가능
폐쇄 음향 효과
물질 고유 반향 변수
버전 > EAX 3.0

EAX 3.0은 사운드 블라스터 오디지 사운드 카드에 쓰였다.
하드웨어적으로 64개의 동시 보이스 처리 가능
3차원 음향 환경 사이의 부드러움
모든 반향 변수에 대한 직접 접근
환경 패닝(panning)
새로운 반향 엔진
새로운 반향 엔진으로부터 AdvancedHD Designation 시작
버전 > EAX 4.0

EAX 4.0은 사운드 블라스터 오디지 2 사운드 카드에 쓰였다.
실시간 하드웨어 효과
여러 개의 동시 환경
효과 (Flange, Echo, Distortion, Ring modulation) 추가
버전 > EAX 5.0

EAX 5.0은 사운드 블라스터 X-Fi 사운드 카드에 쓰였다.
하드웨어적으로 128개의 동시 보이스 처리 가능 (각각 최대 4개의 효과 사용 가능)
EAX 보이스 (마이크 입력 신호 처리)
EAX PurePath
환경 FlexiFX
EAX MacroFX
환경 폐쇄
버전 > 미래

크리에이티브의 OpenAL 1.1 규격에 따르면 EAX는, 개발자 인터페이스로써는 버려진 것으로 여겨진다. 새로운 개발은, EAX의 모든 기능을 포함하며 OpenAL의 전체 프레임워크와 좀 더 잘 연동되는 EFX 인터페이스를 사용해야 한다.
같이 보기

다이렉트사운드3D
돌비 서라운드/돌비 프로 로직/돌비 디지털
OpenAL
Waiting for the Sun

| 전문가 평가> 평가 점수.출처 | 전문가 평가> 평가 점수.점수 |
| --- | --- |
AllMusic: 
Classic Rock: 
MusicHound Rock: 3.5/5
Rolling Stone: (mixed)
The Rolling Stone Album Guide: 
Slant Magazine: 
Virgin Encyclopedia of Popular Music: 
《Waiting for the Sun》은 미국의 록 밴드인 도어스의 세 번째 스튜디오 음반이다. 로스앤젤레스의 TTG 스튜디오에서 녹음한 이 음반의 11곡은 1968년 2월부터 5월 사이에 녹음되었으며, 엘렉트라 레코드가 1968년 7월 3일에 발매하였다. 이 음반은 밴드의 유일한 1위 음반(4주 동안 차트 1위)이 되었고 두 번째 미국 1위 싱글 〈Hello, I Love You〉(1968년 8월 3일부터 2주 동안)가 수록되었다. 이 음반에서 발매된 첫 번째 싱글은 빌보드 핫 100에서 39위로 정점을 찍은 〈The Unknown Soldier〉이다. 이 음반은 또한 영국에서 처음으로 히트한 음반이 되었으며, 이 음반은 16위로 정점을 찍었다.
많은 곡들이 스튜디오에서 만들어졌다. 폴 A. 로스차일드의 음반 제작은 다수를 차지했고 어느 순간 드러머 존 덴스모어는 짐 모리슨의 행동에 좌절된 세션에서 퇴장했다. 비록 도어스가 그들의 연극 작곡인 〈Celebration of the Lizard〉를 녹음하려고 여러 번 시도했고 이 작품이 음반의 두 번째 면을 차지하도록 의도했지만, 이 곡은 후에 보류되었다. 그러나 〈Not to Touch the Earth〉는 부분의 녹음이 포함되었고 음반의 게이트폴드 슬리브 안에 〈Celebration of the Lizard〉에 대한 가사가 모두 인쇄되었다. 〈Waiting for the Sun〉이라는 곡도 음반 세션 중에 녹음되었으나 잠시 중단되었고 이후 1970년에 음반 《Morrison Hotel》에 생겼다. 음반의 커버는 로스앤젤레스의 로렐 캐년에 있는 폴 페라라에 의해 찍혔다.
2018년 음반 발매 50주년과 동시에, 라이노 레코드가 더블 CD / 싱글 LP판을 발매했다. 이것은 오랫동안 도어스 사운드 엔지니어였던 브루스 보닉에 의해 감독되었다.
발매

《Waiting for the Sun》은 1968년 7월 3일에 발매되었는데, 일부 소식통들은 7월 12일에 잘못 언급하였다. 이 음반은 700만 장 이상이 팔렸다. 〈Celebration of the Lizard〉는 음반 원판에는 수록되지 않았지만, 이후 40주년 기념 보너스 트랙으로 〈Not to Touch the Earth〉의 초기 테이크 2곡과 함께 수록되었다(부제: 〈An Experiment/Work in Progressed〉).
2018년 라이노 레코드는 음반 발매 50주년을 기념해 1-LP/2-CD 디럭스 에디션을 발매했다. LP와 첫 번째 CD는 1968년 발매된 오리지널 음반과 동일한 11곡의 마스터 버전을 갖추고 있다. 두 번째 CD에는 이전에 발매되지 않은 14개의 곡이 수록되어 있다. 50주년 기념 에디션에는 40주년 기념 에디션에 수록된 보너스 트랙이 생략되어 있으며, 음반의 모든 트랙을 거칠게 혼합한 것도 특징이다. 도어스의 엔지니어 브루스 보트닉은 "이 믹스들 중 일부는 모든 요소와 추가적인 백 보컬, 그리고 약간의 무형의 거친 부분들이 꽤 매력적이고 신선하기 때문에 더 선호된다"며 청중들에게 몇몇 버전을 추천했다.
곡 목록

모든 곡들은 짐 모리슨, 레이 만자렉, 로비 크리거 그리고 존 덴스모어에 의해 작사/작곡하였다.
| # | 제목 | 재생 시간 |
| --- | --- | --- |
| 1. | Hello, I Love You | 2:14 |
| 2. | Love Street | 2:53 |
| 3. | Not to Touch the Earth | 3:56 |
| 4. | Summer's Almost Gone | 3:22 |
| 5. | Wintertime Love | 1:54 |
| 6. | The Unknown Soldier | 3:22 |
| # | 제목 | 재생 시간 |
| --- | --- | --- |
| 1. | Spanish Caravan | 3:03 |
| 2. | My Wild Love | 3:01 |
| 3. | We Could Be So Good Together | 2:26 |
| 4. | Yes, the River Knows | 2:36 |
| 5. | Five to One | 4:26 |
인증

| 국가 | 인증 | 판매량/출하량 |
| --- | --- | --- |
| 캐나다 (뮤직 캐나다) | 플래티넘 | 100,000^ |
| 프랑스 (SNEP) | 2× 골드 | 200,000* |
| 독일 (BVMI) | 골드 | 250,000^ |
| 영국 (BPI) | 골드 | 100,000^ |
| 미국 (RIAA) | 플래티넘 | 1,000,000^ |
*판매량을 기반으로 한 인증 ^출하량을 기반으로 한 인증
고이만년

| --- | --- |
 고이만년 古爾萬年
출생일 : 미상
출생지 : 미상
사망일 : 미상
사망지 : 미상
국적 : 백제→고구려
성별 : 남성
관직 : 대로
복무 : 고구려군
주요 참전 : 장수왕의 백제침공
고이만년(古爾萬年, ?~?)은 백제 출신의 고구려 장수이다.
생애

백제에서 죄를 짓고 고구려로 망명했다. 475년에 고구려가 3만의 병력을 이끌고 백제를 공격했을 당시 고구려군 지휘관으로 참전해 백제의 수도 한성을 함락시키며 개로왕을 붙잡는 등의 공을 세웠다.
YAIBA의 등장인물 목록

다음은 일본의 만화 《YAIBA》의 등장인물 목록이다.
등장 인물 > 야이바 일행

이 부분의 본문은 쿠로가네 야이바입니다.
이 부분의 본문은 미네 사야카입니다.
이 부분의 본문은 카게토라입니다.
이 부분의 본문은 쇼노스케입니다.
이 부분의 본문은 미야모토 무사시 (YAIBA)입니다.
이 부분의 본문은 게로타 게로자에몽입니다.
등장 인물 > 오니마루 일당

이 부분의 본문은 오니마루 타케시입니다.
이 부분의 본문은 거미사내입니다.
등장 인물 > 달

이 부분의 본문은 카구야 (YAIBA)입니다.
↑  카게토라와 중복.
↑  오니마루 타케시와 중복.
곤석애정고사

| --- | --- |
곤석애정고사  滾石愛情故事
장르 : 텔레비전 드라마
방송 국가 :  중화민국
방송 채널 :  대만 PTS
방송 기간 :  2016년 4월 9일 ~ 2016년 6월 11일
방송 횟수 : 20부작
외부 링크  : 공식 홈페이지
《곤석애정고사》는 2016년에 타이완에서 방송된 드라마다.
출연

양승림
오강인
장용용
가유륜
구택
진정니
진이용
진내영
리국의
곽설부
증패자
곽서요
임백굉
온정릉
정개원
구양륜
양우녕
조안호
발고글리오

| Valgoglio |
| --- | --- |
코무네
Comune di Valgoglio
Church
  국장
Valgoglio의 위치 
Valgoglio이탈리아 내 Valgoglio의 위치
좌표: 북위 45° 58′  동경 9° 55′ ﻿ / ﻿북위 45.967°  동경 9.917° ﻿ / 45.967; 9.917
나라: 이탈리아
주: Lombardy
도: Bergamo (BG)
정부
 • 시장: Eli Pedretti
면적
 • 총 면적: 31.8 km2 (12.3 sq mi)
해발: 929 m (3,048 ft)
인구 (31 December 2010)
 • 총 인구: 616
 • 밀도: 19명/km2 (50명/sq mi)
데모님: Valgogliesi
시간대: UTC+1 (CET)
 • 일광 절약 시간제: UTC+2 (CEST)
우편 번호: 24020
전화 코드: 0346
웹사이트: 발고글리오 - 공식 웹사이트
발고글리오(Valgoglio)는 이탈리아 롬바르디 지방 베르가모 주에 있는 콤뉴네(시)로, 밀라노에서 북동쪽으로 약 80킬로미터(50마일) 떨어져 있으며 베르가모에서 북동쪽으로 약 35킬로미터(22마일) 떨어져 있다.
발고글리오는 아르데지오, 브란치, 카로나, 간델리노, 그로모와 경계를 이루고 있다.
산 크리스토포로 교회의 프레스코화
조민경

조민경은 다음 사람을 가리킨다.
조민경(1989년 ~ )은 대한민국 대전MBC의 아나운서이다.
조민경(1989년 ~ )은 대한민국의 배우이다.
같이 보기

제목에 "조민경" 항목을 포함한 모든 문서
베일리 드 영

| 베일리 드 영 Bailey De Young  |
| --- | --- |

본명: 베일리 번테인 Bailey Buntain
출생: 1989년 9월 16일(1989-09-16)(35세) 미국 캘리포니아주 새크라멘토
직업: 배우, 댄서
활동 기간: 2012년 - 현재
베일리 드 영(Bailey De Young, 1989년 9월 16일 ~ )는 미국의 배우, 댄서이다.
베네른호

베네른 호
베네른 호의 지도
베네른 호(스웨덴어: Vänern)는 스웨덴의 호수로 면적은 5,650km2, 평균 수심은 27m, 최대 수심은 106m, 수면 높이는 44m이다. 스웨덴에서 가장 큰 호수이며 유럽에서는 러시아의 라도가호, 오네가호 다음으로 가장 넓다. 베스테르예틀란드, 달슬란드, 베름란드와 접한다.
| 전거 통제  |
| --- | --- |
국제:  VIAF 
국가:  이스라엘  미국  스웨덴
황미리

| 황미리 |
| --- | --- |
출생:  
황미리(黃美利)는 대한민국의 순정 만화를 그리는 만화 작가(사실 한 인물이라기보다 브랜드)이다. 그녀의 작품은 보통 십대들의 다양한 일상 생활들을 묘사한다. 다진문화사와 삼양출판사의 공동 브랜드인 꽃님을 통해 만화를 출간하고 있다.
같이 보기

황미리의 만화 목록
한유랑
| v t e꽃님 |
| --- | --- |
출판사:  다진문화사  삼양출판사 
작가:  나하란  전영희  한유랑  황미리 
만화 목록:  나하란  전영희  한유랑  황미리 
| 전거 통제  |
| --- | --- |
국제:  VIAF 
국가:  한국
고양군 갑

| 고양군 갑 |
| --- | --- |
폐지된 대한민국 국회의원 선거구
1948년~1950년
의원 수: 1인
이후 선거구: 서대문구 을  성북구
고양군 갑은 대한민국의 옛 국회의원 선거구이다. 당시 경기도 고양군의 일부 지역을 관할했다.
역사

제헌 국회의원 선거를 앞두고 고양군 은평면, 숭인면을 관할하는 선거구로 신설되었다.
1949년 8월, 은평면이 서울특별시 서대문구에 편입되었으며 숭인면이 서울시 성북구로 편입되었다. 이에 제2대 국회의원 선거를 앞두고 서대문구 을, 성북구 선거구로 각각 편입되면서 폐지되었다.
역대 국회의원

| 선거 | 정당 | 정당 | 의원 |
| --- | --- | --- | --- |
| 1948년 |  | 대한독립촉성국민회 | 서성달 |
V-리그 챔피언결정전

| --- | --- |
시작: 2005년(19년 전)(2005)
방식: 5전 3선승제
진출 팀: 정규리그 1위 팀, 플레이오프 승리 팀
V-리그 챔피언결정전(영어: V-League Finals)은 V-리그 포스트시즌의 최종전이다. 정규리그 1위팀과 플레이오프 승리 팀이 챔피언결정전을 통하여 우승팀을 가리게된다. 7전 4선승제로 진행된 2010년과 2011년을 제외하고는 5전 3선승제로 진행되고 있다.
남자부 > 연도별 결과

| 연도 | 우승팀 | 감독 | 경기 결과 | 승패 현황 | 준우승팀 | 감독 | MVP |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2005 | 삼성화재 | 신치용 | 3–1 | OXOO | 현대캐피탈 | 김호철 | 김세진 (삼성화재, 아포짓 스파이커) |
| 2005-06 | 현대캐피탈 | 김호철 | 3–2 | XOOXO | 삼성화재 | 신치용 | 루니 (현대캐피탈, 아웃사이드 히터) |
| 2006.07 | 현대캐피탈 | 김호철 | 3–0 | OOO | 삼성화재 | 신치용 | 루니 (현대캐피탈, 아웃사이드 히터) |
| 2007-08 | 삼성화재 | 신치용 | 3–0 | OOO | 현대캐피탈 | 김호철 | 안젤코 (삼성화재, 아포짓 스파이커) |
| 2008-09 | 삼성화재 | 신치용 | 3–1 | OXOO | 현대캐피탈 | 김호철 | 최태웅 (삼성화재, 세터) |
| 2009-10 | 삼성화재 | 신치용 | 4–3 | OXOOXXO | 현대캐피탈 | 김호철 | 가빈 (삼성화재, 아포짓 스파이커) |
| 2010-11 | 삼성화재 | 신치용 | 4–0 | OOOO | 대한항공 | 신영철 | 가빈 (삼성화재, 아포짓 스파이커) |
| 2011-12 | 삼성화재 | 신치용 | 3–1 | OOXO | 대한항공 | 신영철 | 가빈 (삼성화재, 아포짓 스파이커) |
| 2012-13 | 삼성화재 | 신치용 | 3–0 | OOO | 대한항공 | 김종민 | 레오 (삼성화재, 아웃사이드 히터) |
| 2013-14 | 삼성화재 | 신치용 | 3–1 | XOOO | 현대캐피탈 | 김호철 | 레오 (삼성화재, 아웃사이드 히터) |
| 2014-15 | OK저축은행 | 김세진 | 3–0 | OOO | 삼성화재 | 신치용 | 송명근 (OK저축은행, 아웃사이드 히터) |
| 2015-16 | OK저축은행 | 김세진 | 3–1 | OOXO | 현대캐피탈 | 최태웅 | 시몬 (OK저축은행, 아포짓 스파이커) |
| 2016-17 | 현대캐피탈 | 최태웅 | 3–2 | XOXOO | 대한항공 | 박기원 | 문성민 (현대캐피탈, 아포짓 스파이커) |
| 2017-18 | 대한항공 | 박기원 | 3–1 | XOOO | 현대캐피탈 | 최태웅 | 한선수 (대한항공, 세터) |
| 2018-19 | 현대캐피탈 | 최태웅 | 3–0 | OOO | 대한항공 | 박기원 | 전광인 (현대캐피탈, 아웃사이드 히터) |
2019-20: 코로나바이러스감염증-19 여파로 취소
| 2020-21 | 대한항공 | 산틸리 | 3-2 | XOXOO | 우리카드 | 신영철 | 정지석 (대한항공, 아웃사이드 히터) |
| 2021-22 | 대한항공 | 틸리카이넨 | 2-1 | OXO | KB손해보험 | 후인정 | 링컨 (대한항공, 아포짓 스파이커) |
| 2022-23 | 대한항공 | 틸리카이넨 | 3–0 | OOO | 현대캐피탈 | 최태웅 | 한선수 (대한항공, 세터) |
남자부 > 구단별 우승 횟수

| 구단 | 우승 | 준우승 | 우승 연도 | 준우승 연도 |  |
| --- | --- | --- | --- | --- | --- |
| 대전 삼성화재 블루팡스 | 8 | 3 | 2005, 2008, 2009, 2010, 2011, 2012, 2013, 2014 | 2006, 2007, 2015 |  |
| 천안 현대캐피탈 스카이워커스 | 4 | 8 | 2006, 2007, 2017, 2019 | 2005, 2008, 2009, 2010, 2014, 2016, 2018, 2023 |  |
| 인천 대한항공 점보스 | 4 | 5 | 2018, 2021, 2022, 2023 | 2011, 2012, 2013, 2017, 2019 |  |
| 안산 OK금융그룹 읏맨 | 2 | 1 | 2015, 2016 | 2024 | — |
| 서울 우리카드 우리WON | 0 | 1 | — | 2021 |  |
| 의정부 KB손해보험 스타즈 | 0 | 1 | — | 2022 |  |
여자부 > 연도별 결과

| 연도 | 우승팀 | 감독 | 경기 결과 | 승패 현황 | 준우승팀 | 감독 | MVP |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2005 | KT&G | 김형실 | 3–1 | XOOO | 한국도로공사 | 김명수 | 최광희 (KT&G, 아웃사이드 히터) |
| 2005-06 | 흥국생명 | 김철용 | 3–2 | XOXOO | 한국도로공사 | 김명수 | 김연경 (흥국생명, 아웃사이드 히터) |
| 2006-07 | 흥국생명 | 황현주 | 3–1 | XOOO | 현대건설 | 홍성진 | 김연경 (흥국생명, 아웃사이드 히터) |
| 2007-08 | GS칼텍스 | 이희완 | 3–1 | XOOO | 흥국생명 | 황현주 | 정대영 (GS칼텍스, 미들블로커) |
| 2008-09 | 흥국생명 | 어창선 | 3–1 | XOOO | GS칼텍스 | 이성희 | 김연경 (흥국생명, 아웃사이드 히터) |
| 2009-10 | KT&G | 박삼용 | 4–2 | XOXOOO | 현대건설 | 황현주 | 몬타뇨 (KT&G, 아포짓 스파이커) |
| 2010-11 | 현대건설 | 황현주 | 4–2 | OXOXOO | 흥국생명 | 반다이라 | 황연주 (현대건설, 아포짓 스파이커) |
| 2011-12 | KGC인삼공사 | 박삼용 | 3–2 | OXOXO | 현대건설 | 황현주 | 몬타뇨 (KGC인삼공사, 아포짓 스파이커) |
| 2012-13 | IBK기업은행 | 이정철 | 3–1 | OOXO | GS칼텍스 | 이선구 | 알레시아 (IBK기업은행) |
| 2013-14 | GS칼텍스 | 이선구 | 3–2 | OXXOO | IBK기업은행 | 이정철 | 베띠 (GS칼텍스, 아포짓 스파이커) |
| 2014-15 | IBK기업은행 | 이정철 | 3–0 | OOO | 한국도로공사 | 서남원 | 김사니 (IBK기업은행, 세터) |
| 2015-16 | 현대건설 | 양철호 | 3–0 | OOO | IBK기업은행 | 이정철 | 양효진 (현대건설, 센터) |
| 2016-17 | IBK기업은행 | 이정철 | 3–1 | XOOO | 흥국생명 | 박미희 | 메디 (IBK기업은행, 아웃사이드 히터) |
| 2017-18 | 한국도로공사 | 김종민 | 3–0 | OOO | IBK기업은행 | 이정철 | 박정아 (한국도로공사, 아웃사이드 히터) |
| 2018-19 | 흥국생명 | 박미희 | 3–1 | OXOO | 한국도로공사 | 김종민 | 이재영 (흥국생명, 아웃사이드 히터) |
2019-20: 코로나바이러스감염증-19 여파로 취소
| 2020-21 | GS칼텍스 | 차상현 | 3–0 | OOO | 흥국생명 | 박미희 | 러츠 (GS칼텍스, 아포짓 스파이커), 이소영 (GS칼텍스, 아웃사이드 히터) |
2021-22: 코로나바이러스감염증-19 여파로 취소
| 2022-23 | 한국도로공사 | 김종민 | 3–2 | XXOOO | 흥국생명 | 아본단자 | 캣벨 (한국도로공사, 아포짓 스파이커) |
| 2023-24 | 현대건설 | 강성형 | 3-0 | OOO | 흥국생명 | 아본단자 |  |
여자부 > 구단별 우승 횟수

| 구단 | 우승 | 준우승 | 우승 연도 | 준우승 연도 |
| --- | --- | --- | --- | --- |
| 인천 흥국생명 핑크스파이더스 | 4 | 6 | 2006, 2007, 2009, 2019 | 2008, 2011, 2017, 2021, 2023, 2024 |
| 화성 IBK기업은행 알토스 | 3 | 3 | 2013, 2015, 2017 | 2014, 2016, 2018 |
| 수원 현대건설 힐스테이트 | 3 | 3 | 2011, 2016, 2024 | 2007, 2010, 2012 |
| GS칼텍스 서울 KIXX | 3 | 2 | 2008, 2014, 2021 | 2009, 2013 |
| 대전 KGC인삼공사 | 3 | 0 | 2005, 2010, 2012 | — |
| 김천 한국도로공사 하이패스 | 2 | 4 | 2018, 2023 | 2005, 2006, 2015, 2019 |
월봉사

월봉사(月峰寺)는 대한민국 울산광역시 동구에 있는 사찰이다. 936년에 창건된 이 절은 대한불교 조계종 제15교구 본사인 통도사의 말사이다. 부속 기관으로 룸비니 유치원과 울산시립요양원이 있다.
가미오이역

| 가미오이 |
| --- | --- |
 가미오이 역 (2007년 4월 16일)
ko
개괄
관할 기관 : 도카이 여객철도
소재지 :  일본 가나가와현 아시가라카미군 오이 정 가미오이 617
좌표 : 북위 35° 11′ 31″ 동경 139° 56′ 52″﻿ / ﻿북위 35.19203°  동경 139.9479° ﻿ / 35.19203; 139.9479
개업일 : 1948년 6월 1일
승강장수 : 2면 2선
거리표
■ 고텐바 선
고즈 기점 6.5km
   ← 시모소가  (2.7 km)  사가미카네코 → (1.8 km)
     
가미오이역(일본어: 上大井駅)은 일본 가나가와현 아시가라카미군 오이 정에 있는 도카이 여객철도 고텐바 선의 역이다. 상대식 승강장 1면 2선의 구조를 지닌 지상역이다.
타는 곳

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 1 | ■ 고텐바 선 | 상행 | 고즈 방면 |  |
| 1 | ■ 고텐바 선 | 하행 | 고텐바 · 누마즈 방면 | 통상은 이 승강장 |
| 2 | ■ 고텐바 선 | 하행 | 고텐바 · 누마즈 방면 | 교환 열차만 |
역 주변

오이 정청
오다와라 시청 소가 지소
에바라 식품 주오 연구소
국도 제255호선
인접 정차역

| 도카이 여객철도 고텐바 선 |
| --- | --- | --- |
| 시모소가 고즈 방면 | ■ 고텐바 선 | 사가미카네코 누마즈 방면 |
| v t e고텐바선 |
| --- | --- |
고즈 - 시모소가 - 가미오이 - 사가미카네코 - 마쓰다 - 히가시야마키타 - 야마키타 - 야가 - 스루가오야마 - 아시가라 - 고텐바 - 미나미고텐바 - 후지오카 - 이와나미 - 스소노 - 나가이즈미나메리 - 시모토가리 - 오오카 - 누마즈
공평동 (대구)

공평동(公平洞)은 대구광역시 중구의 법정동 중 하나로, 행정동 성내1동의 관할에 속한다.
연혁

1914년 : 남성면과 신전리 일부를 합해 남룡강정(南龍岡町)으로 함
1947년 : 정(町)을 동(洞)으로 환원하면서 대구시 공평동으로 함
1981년 : 대구직할시 중구 공평동으로 함
1995년 : 대구광역시 중구 공평동으로 함
지명 유래

모든 일을 공평하게 처리하라는 뜻에서 동명이 유래했다. 이 유래는 서울특별시 종로구의 공평동과 같은데, 서울의 공평동은 일제가 붙였고 대구의 공평동은 일제 잔재를 없애고자 대한민국에서 붙인 이름이라는 것이 다르다.
박창식

박창식의 다른 뜻은 다음과 같다.
박창식(1958 ~ )은 조선민주주의인민공화국의 정치인이다.
박창식(朴昌植, 1959 ~ )은 대한민국의 정치인이다.
같이 보기

제목에 "박창식" 항목을 포함한 모든 문서
보산스카크라이나

보산스카크라이나 지도
보산스카크라이나(보스니아어: Bosanska Krajina, 세르비아어: Босанска Крајина, Bosanska Krajina)는 보스니아 헤르체고비나 서부에 위치한 역사적 지역이다.
사바강을 비롯한 여러 강들과 접하며 보스니아 헤르체고비나 연방, 스릅스카 공화국 사이에 걸쳐 있다. 보스니아 헤르체고비나의 역사적, 문화적, 경제적 지역 가운데 하나이며 특유의 자연 환경과 생태계로 유명한 곳이다.
보산스카크라이나 지역에서 가장 큰 도시는 바냐루카이다. 그 밖에 보산스카크라이나 지역에 위치한 주요 도시로는 비하치, 야이체, 프리예도르, 그라디슈카, 노비그라드(보산스키노비), 보산스카크루파, 코자르스카두비차, 차진, 산스키모스트, 드르바르, 클류치, 벨리카클라두샤 등이 있다.
| 전거 통제  |
| --- | --- |
국제:  VIAF  월드캣 
국가:  체코
건포도

건포도.
건포도 한 접시.
| 100 g (3> 5 oz)당 영양가 |
| --- | --- |
에너지: 1,252 kJ (299 kcal)

탄수화물: 79.18 g
당분: 59.19 g
식이 섬유: 3.7 g
 

지방: 0.46 g
 

단백질: 3.07 g
 

비타민: 함량 %DV†
티아민 (B1): 9% 0.106 mg
리보플라빈 (B2): 10% 0.125 mg
나이아신 (B3): 5% 0.766 mg
판토테산 (B5): 2% 0.095 mg
비타민 B6: 13% 0.174 mg
엽산 (B9): 1% 5 μg
콜린: 2% 11.1 mg
비타민 C: 3% 2.3 mg
비타민 E: 1% 0.12 mg
비타민 K: 3% 3.5 μg
 

무기질: 함량 %DV†
칼슘: 5% 50 mg
철분: 14% 1.88 mg
마그네슘: 9% 32 mg
망간: 14% 0.299 mg
인: 14% 101 mg
칼륨: 16% 749 mg
나트륨: 1% 11 mg
아연: 2% 0.22 mg
 

기타 성분: 함량
Fluoride: 233.9 µg
 
Link to USDA Database entry
 단위  μg = 마이크로그램 • mg = 밀리그램  kg = 킬로그램 • Mg = 메가그램  IU = 국제 단위 
†백분율은 대략적으로 성인 기준 권고안을 사용한 추정치임.  출처: USDA Nutrient Database
건포도(乾葡萄, 영어: raisin)는 포도를 말린 것이다. 보통 나무에서 완숙하여 과즙당도가 25%가량 된 포도를 사용한다.  티아민, 리보플라빈, 칼슘, 철분, 칼륨 성분이 풍부하며, 당분이 많아 에너지를 많이 낸다. 과자, 빵, 케이크, 백설기, 푸딩을 만들 때 사용한다. 그 외에도 요거트 초콜릿을 입힌 건포도 제품인 요거트레이즌도 있다.
효능

변비 예방, 빈혈 예방(건포도는 무지방인데다가 탄수화물, 식이섬유가 풍부해서 변비, 노화 방지에도 좋으며, 비타민이 풍부해서 피로 회복에 좋다. 또한 천연 설탕의 함량이 매우 높으며 다양한 미네랄과 비타민을 함유하고 있고 특히 철분이 풍부해서 빈혈을 예방한다.)
주요 생산국

미국, 그리스, 오스트레일리아, 터키 등.
같이 보기

포도
베일리 스프라이

| 베일리 스프라이 Bailey Spry |
| --- | --- |
본명: 베일리 준 스프라이 Bailey June Spry
출생: 1995년 6월 7일(1995-06-07)(29세) 미시간주 폰티액
국적:  미국
직업: 배우
활동 기간: 2014년 - 현재
베일리 스프라이(영어: Bailey Spry, 1995년 6월 7일 ~ )는 미국의 배우이다. 공포 영화 《팔로우》에 출연했다.
출연작 목록 > 영화

| 연도 | 제목 | 원제 | 배역 | 비고 |
| --- | --- | --- | --- | --- |
| 2012 |  | Full of Grace |  | 단편영화 |
| 2014 | 팔로우 | It Follows | 애니 마셜 |  |
| 2014 |  | Age of Ice | 앰버 존스 |  |
| 2018 |  | Les hauts murs | 제니 |  |
방송기자연합회

방송기자연합회 (放送記者聯合會)는 KBS, MBC, SBS, YTN, MBN, OBS, 한국경제TV, 서울경제TV, BBS, 아리랑TV, 매일경제TV, MTN, SBS Biz, SBS A&T, G1방송, 경인방송, JTBC  등 전국 58개 방송사 기자협회 소속 기자들의 연합체이다.
방송기자연합회는 2008년 3월 26일 창립됐다. 방송의 독립성 확보와 자유언론발전을 위한 제반 활동과 회원의 권익과 복지증진을 위한 활동, 방송문화 창달을 위한 국제교류 및 학술 연구 활동 등을 펼치고 있다.
주요 사업

저널리즘 아카데미
한국방송기자대상
이달의 방송기자상
이용마 언론상
팩트체킹 공모전
부산고등수산학교

부산고등수산학교는 1941년 부산에 설치된 4년제 구제관립전문학교로서 1944년 부산수산전문학교로 개칭하였다.
비수도권 최초의 관립고등교육기관이자 부울경 최초의 고등교육기관으로서
1946년 5월 15일 부산수산전문학교를 기반으로 인문학부를 병설하여 2개의 단과대로 구성된
종합대인 국립 부산대학교가 설립되면서 수산학부가 되었다.
이후 수산과대학으로 변경되었다가 1947년 다시 단과대인 부산대학(인문)과 부산수산대학으로 상호 분리하였다.
5.16 쿠데타 후인 1961년 9월 다시 종합대였던 부산대와 통합하였다가 1964년 재분리 하였다.
1990년 종합대학교로 승격하였고 1996년 부산공업대학교와 통합하여 부경대학교가 되었다.
보르시 벨트

보르시 벨트(Borscht Belt)는 미국 뉴욕주 캐츠킬산맥에 있는 유대인들의 호텔 단지를 가리키는 용어이다.
겐첸의 일관성 증명

겐첸의 일관성 증명 또는 겐첸의 무모순성 증명은 1936년 게르하르트 겐첸이 발표한 수리 논리학의 갈래인 증명 이론의 결과이다. 이는 1차 산술의 페아노 공리가 증명에 사용된 어떤 다른 체계도 모순을 포함하지 않는 한 모순을 포함하지 않는다는 것을 보인다(즉, '무모순적'이다). 오늘날 "서수 ε0까지의 양화사-자유 초한귀납법의 추가 원리를 가진 원시적 재귀 산술"이라고 불리는 이 다른 체계는 페아노 공리계보다 약하지도 강하지도 않다. 겐첸은 페아노 산술에 포함된 의심스러운 추론 방식을 피하고 따라서 그 일관성은 논란의 여지가 적다고 주장했다.
겐첸의 정리

겐첸의 정리는 1차 산술 즉, 1차 산술에 의해 공리화된 자연수의 덧셈과 곱셈을 포함한 이론과 관련이 있다. 이것은 "1차" 이론이다: 정량자는 자연수에 걸쳐 확장되지만 자연수의 집합이나 함수에 대해서는 확장되지 않는다. 이 이론은 지수, 계승 또는 피보나치 수열과 같이 재귀적으로 정의된 정수 함수를 설명할 수 있을 만큼 충분히 강하다.
겐첸은 서수 ε0까지의 양화사-자유 초한귀납법의 추가 원리를 가진 원시적 재귀 산술의 기초 이론 위에서 1차 페아노 공리의 일관성을 증명할 수 있음을 보여주었다. 원시적 재귀 산술은 훨씬 단순화된 형태의 산술로서 다소 논쟁적이지 않다. 추가 원리는 비형식적으로 유한한 뿌리가 있는 나무의 집합에 정렬순서가 있음을 의미한다. 형식적으로, ε0은  \omega ^{\alpha }=\alpha 를 만족하는 첫 번째 서수  \alpha 이다. 즉, 열  \omega ,\omega ^{\omega },\omega ^{\omega ^{\omega }},\cdots 의 극한이다.
그것은 큰 수식보다 훨씬 작은 수식이다. 산술 언어로 서수를 표현하기 위해서는 서수 표기법이 필요하다. 즉, ε0 이하의 서수에 자연수를 할당하는 방법이 필요하다. 이는 칸토어 표준형 정리에 의한 예시 등 다양한 방법으로 행해질 수 있다. 겐첸의 증명은 다음과 같은 가정에 근거한다: 양화사 없는 공식 A(x)에 대해, A(a)가 거짓인 서수 a<ε0이 존재한다면, 이러한 서수 중 가장 작은 것이 존재한다.
겐첸은 페아노 산술에서 증명에 대한 "축소 절차"의 개념을 정의하고 있다. 주어진 증명에 대해서 이 절차는 증명의 나무를 생산하는데, 주어진 증명은 나무의 뿌리가 되고, 다른 증명은 어떤 의미에서 주어진 증명보다 "간단"하다. 이러한 증가하는 단순성은 모든 증명에 ε0보다 작은 서수를 붙임으로써 공식화되고, 나무 아래로 내려갈수록 이 서수들은 한 단계씩 더 작아진다. 그런 다음 그는 모순의 증명이 있다면, 감소 절차로 인해 양화사 없는 공식에 해당하는 증명에 대한 원시적 재귀 작용으로 생성된 ε0보다 작은 서수의 무한 순감소 서수열이 발생한다는 것을 보여준다.
힐베르트 프로그램, 괴델의 정리와의 관계

겐첸의 증명은 괴델의 두 번째 불완전성 정리에서 흔히 놓친 한 측면을 강조한다. 어떤 이론의 일관성은 더 강한 이론에서만 증명될 수 있다고 주장되기도 한다. 원시 재귀산술에 정량자 없는 트랜스피나이트 유도를 더하여 얻은 겐첸의 이론은 1차적 페아노 산술(PA)의 일관성을 증명하지만 PA는 들어 있지 않다. 예를 들어, PA는 모든 공식에 대해 일반적인 수학적 유도를 증명하지 않는 반면(모든 유도의 예는 PA의 공리이기 때문이다). 그러나 젠첸의 이론은 PA에도 포함되어 있지 않은데, 이는 PA가 할 수 없는 숫자 이론적 사실 즉 PA의 일관성을 증명할 수 있기 때문이다. 그러므로 이 두 이론은 한 가지 의미에서 비할 수 없는 것이다.
그렇기는 하지만 이론의 강도를 비교할 수 있는 다른, 더 강력한 방법이 있는데, 그 중 가장 중요한 것은 해석가능성의 개념으로 정의된다. 하나의 이론 T가 다른 B에서 해석될 수 있다면, 그 이론 T가 B라면 일치한다는 것을 보여줄 수 있다. (사실, 이것은 해석성의 개념의 큰 지점이다.) 그리고, T가 극히 약하지 않다고 가정하면, T자체는 바로 다음과 같은 조건부 증명할 수 있을 것이다. B가 일관성이 있다면 T도 일치한다. 따라서 T는 두 번째 불완전성 정리로는 B가 일관성이 있다는 것을 증명할 수 없는 반면, B는 T가 일관성이 있다는 것을 증명할 수 있을 것이다. 이것이 이론을 비교하기 위해 해석력을 사용한다는 생각, 즉 B가 T를 해석하면 B가 적어도 T만큼 강하다는 생각('일관성 강도'의 의미)을 동기부여하는 것이다.
솔로몬 페퍼만의 앞선 연구를 토대로 구축하던 파벨 푸들라크가 증명했던 제2 불완전성 정리의 강력한 형태는 로빈슨 산술 Q를 포함하는 일관된 이론 T는 Q+Con(T)을 해석할 수 없다고 기술하고 있는데, T는 일관성이 있다는 진술이다. 대조적으로 Q+Con(T)은 산술화된 완전성 정리의 강력한 형태로 T를 해석한다. 그래서 Q+Con(T)은 항상 T보다 (한 가지 좋은 의미로) 강하다. 그러나 겐첸의 이론은 Q를 포함하고 콘(PA)을 증명하기 때문에 사소한 것으로 Q+Con(PA)을 해석하고, 그래서 겐첸의 이론은 PA를 해석한다. 그러나 푸들라크의 결과에 의하면 겐첸의 이론(지금 말한 바와 같이)은 Q+Con(PA)을 해석하고, 해석가능성은 타동적이기 때문에 PA는 겐첸의 이론을 해석할 수 없다. 즉, PA가 겐첸의 이론을 해석했다면, PA도 해석할 것이고, 따라서 Pudlahk의 결과에 의해 일관성이 없을 것이다. 그래서 일관성 강도의 의미에서 해석성이 특징인 것처럼 겐첸의 이론은 페아노 산술보다 강하다.
헤르만 바일은 1946년 괴델의 1931년 불완전성 결과가 수학의 일관성을 증명하려는 힐베르트의 계획에 파괴적인 영향을 미친 이후 겐첸의 일관성 결과가 갖는 의의에 대해 다음과 같은 언급을 했다.
만약 힐베르트가 그것을 성공적으로 수행할 수 있었다면, 궁극적으로 모든 수학자들은 힐베르트의 접근을 받아들였을 것이다. 첫 단계는 고무적이고 유망했다. 그러나 그 후 괴델은 엄청난 타격을 입혔고, 아직 회복되지 않았다. 괴델은 힐베르트의 형식주의에서 나타나는 기호, 공식, 공식의 순서 등을 일정한 방법으로 열거하고, 따라서 일관성의 주장을 산술 명제로 바꾸었다. 그는 이 명제가 형식주의 안에서 증명되거나 반증될 수 없다는 것을 보여줄 수 있었다. 이것은 단지 두 가지를 의미할 수 있다: 일관성의 증명서가 주어지는 추리는 시스템 내에서 공식적인 상대가 없는 어떤 주장을 포함해야 한다. 즉, 우리는 수학적 유도의 절차를 완전히 공식화하는 데 성공하지 못했다. 또는 완전히 "완성적인" 일관성의 증명에 대한 희망은 완전히 포기되어야 한다. G. 젠첸이 마침내 산술의 일관성을 증명하는 데 성공했을 때, 그는 칸토어의 "제2종 서수"에 침투하는 명백한 추리의 한 유형을 주장함으로써 실제로 그러한 한계를 통과했다.
클레네(2009년, 페이지 479년)는 1952년, 특히 힐베르트가 시작한 형식주의 프로그램의 맥락에서 겐첸의 결과의 의의에 대해 다음과 같은 논평을 했다.
정합성 입증에 의해 고전수학을 안전하게 만들자는 형식주의자들의 원래 제안은 ε0까지의 트랜스피나이트 유도 같은 방법이 사용되어야 한다는 것을 고려하지 않았다. 그 문제제정이라는 의미에서 어느 정도까지 고전이론을 확보하는 것으로 받아들여질 수 있는가는 one까지의0 유도를 최종적인 방법으로 받아들일 준비가 되어 있느냐에 따라, 개인의 판단에 관한 현 상태에 있다.
겐첸의 증명에 의해 시작된 작업

겐첸의 증명은 증명 이론적 서수 분석의 첫 번째 예다. 서수 분석에서 잘 정렬된 것으로 증명될 수 있는 (구성적) 서수가 얼마나 큰지 또는 (구성적) 서수가 얼마나 큰지를 측정하여 이론의 강도를 측정한다. 구성적 서수는 자연수의 재귀적 순서의 순서 유형이다.
이 언어에서 겐첸은 1차 페아노 산술의 증명-이론 서수가 ε0임을 확립한다.
로렌스 커비와 제프 파리는 겐첸의 정리에 근거하여 1982년 굿스타인의 정리가 페아노 산술에서 증명될 수 없다는 것을 증명했다.
참조

(Gentzen & Szabo 1969)에서 "산술의 일관성"로 번역되었다.
(Gentzen & Szabo 1969)에서 "초등번호 이론에 대한 일관성 증명의 새로운 버전"으로 번역되었다.
영어의 논문 번역.