stanford-oval/wikipedia huggingface dataset:
키미 래이쾨넨
경력 > 포뮬러 원 (2001–2009) > 맥라렌 (2002–2006) > 2003

호주에서 시즌이 시작되었고, 키미는 스패어카로 15위로 퀄리파잉 세션을 마친다. 레이스에서 키미는 머신 전자 시스템의 소프트웨어 결함으로 피트레인에서의 과속으로 페널티를 받기 전까지 선두를 유지했다. 키미는 미하엘 슈마허의 앞에서 3위로 레이스를 마친다. 말레이시아에서 키미는 7번 째 그리드에서 출발하여 그의 첫 우승을 거머쥔다. 다음 라운드인 브라질에서 키미는 레이스가 55번 째 랩에서 중지된 후 우승자로 발표되었다. 레이스 중단 시의 2 랩 전의 순서로 승자를 결정한다는 규칙에 의해서, 즉 53번 째 랩을 리드하고 있던 키미가 우승자로 결정되었다. 그러나 한 주 후, 지안카를로 피지켈라(Giancarlo Fisichella)가 레이스 중단 시점에 56 랩을 시작했다는 증거가 나왔고, 그리하여 54 랩의 순서로 우승자가 결정되게 되었다. 결국 브라질 그랑프리의 승자는 피지켈라가 되었고, 키미는 2위가 되었다.
다른 팀들이 머신을 향상시킴에 따라서, 여전히 2002년의 섀시를 사용하던 맥라렌은 속도에서 뒤쳐지기 시작했다. 그러나 키미는 이몰라에서 2위를 차지했다. 2003년 스페인 그랑프리에서는 퀄리파잉에서 실수를 해 마지막 그리드에서 레이스를 시작해야 했고, 레이스 시작 직후 키미는 라운치 컨트롤(launch control) 문제로 출발하지 못하고 있던 안토니오 피조니아(Antônio Pizzonia)와 충돌하여 리타이어하게 되었다.
다음 몇 번의 경기는 스피드 보다는 전략이 부각되었다. 엔진 문제를 안고, 키미는 오스트리아에서 루벤스 바리첼로(Rubens Barrichello)를 막아내며 2위에 올랐다. 모나코에서는 우승 코 앞까지 갔으나 후안 파블로 몬토야(Juan Pablo Montoya)에게 1초도 안되는 차이로 뒤쳐졌다. 2003년 캐나다 그랑프리에서는 퀄리파잉 도중 언더스티어로 사고가 난 후, 피트레인에서 레이스를 시작해 우승자 미하엘 슈마허에게 1분 이상 뒤쳐진 6위로 마친다.
유럽 그랑프리에서 키미는 폴포지션을 잡았고 25 랩에서 엔진 문제가 일어나기 전까지 레이스를 앞서나가고 있었다. 챔피언십 라이벌인 미하엘 슈마허가 5위로 통과해 키미에게 총 4 포인트를 앞서게 되었다. 키미는 프랑스에서 슈마허에게 뒤진 4위로 들어왔지만 영국에서 3위를 차지하며 1포인트를 앞서게 된다. 키미는 2003년 독일 그랑프리에서 첫 번째 코너에서 랄프 슈마허(Ralf Schumacher)와 루벤스 바리첼로와 함께 사고에 휘말리며 레이스를 끝내지 못했다. 다음 레이스인 헝가리에서는 2위를 차지한다.
2003년 이탈리아 그랑프리가 열리기 전, FIA는 타이어 공급업체인 미쉘린(Michelin)의 타이어 트레드 너비에 대한 불법성에 대해 제보를 받게 된다. 미쉘린은 좁은 타이어를 공급하도록 시정명령을 받게 되었고 전 시즌 동안 브리지스톤(Bridgestone)을 능가하던 장점을 잃게 된 듯 보였다. 맥라렌은 MP4-18의 도입을 취소하고 구형 모델인 MP4-17D를 계속해서 사용해 보겠다고 발표하였다. 키미는 결국 이 경기를 4위로 마감하며 1위를 한 미하엘 슈마허에게 챔피언십 포인트를 5점 뒤지게 된다.
키미는 2003년 미국 그랑프리에서 폴포지션을 가져갔지만 2위로 레이스를 마감한 반면 미하엘 슈마허는 우승을 한다. 한 경기만을 남겨두고, 슈마허는 챔피언십 확보를 위해 단 1 포인트만을 남겨두게 되었다. 키미는 다음 경기를 이기고 슈마허가 포인트를 획득하지 못해야 챔피언십을 차지할 수 있었다. 일본에서 퀄리파잉을 8위로 마치고, 키미는 2위로 경기를 마쳤고, 미하엘 슈마허는 6번째 월드 챔피언십을 위한 1포인트를 획득하였다. 몬토야가 레이스에서 리타이어를 하면서 키미는 슈마허와 단 2포인트 차이로 챔피언십 2위를 차지하게 된다. 팀 역시 아쉽게 2위의 자리를 놓치고 윌리암스에 2 포인트, 페라리에게는 12 포인트 차이로 컨스트럭터 챔피언십 3위에 올랐다. 확률적으로, 윌리암스나 맥라렌도 마지막 레이스에서 챔피언십을 확보할 가능성이 있었다. 2003년 시즌은 최근 가장 치열했던 시즌 중 하나이다.
경력 > 포뮬러 원 (2001–2009) > 맥라렌 (2002–2006) > 2004

2004년 시즌을 키미는 일곱 번의 레이스 동안 단 1 포인트만을 획득하며 시작했다. 맥라렌 머신, 특히 메르세데스 엔진은 계속해서 고장이 났으며 일곱 번의 경주에서 오직 두 번의 레이스만을 완주할 수 있었다. 일곱 번 째 라운드 후 키미는 1 포인트 뿐이었으나, 미하엘 슈마허는 60 포인트를 획득했다. 캐나다에서 키미는 다섯번의 피트 스탑을 했으나, 윌리암스-BMWs와 토요타의 머신 두대가 실격되면서 5위로 경주를 마쳤다. 미국에서는 6위를 기록했다.
2004년 프랑스 그랑프리에서 맥라렌은 새 MP4-19B를 선보였다. 키미는 팀메이트 데이비드 쿨싸드를 이어 7위를 기록했다. 실버스톤에서는 폴포지션을 가져갔고 미하엘 슈마허 다음으로 들어와 2위를 차지한다. 좋은 기세를 타고, 맥라렌은 독일에서 그리드의 두 번 째 줄을 확보한다. 두 대의 머신은 모두 좋은 출발을 했지만, 키미는 13 랩에서 레이스를 리드하고 있던 미하엘 슈마허를 뒤따르다 리어 윙을 잃고 만다. 헝가리에서도 10번 그리드에서 출발해서 또 다시 13랩에서 리타이어를 한다. 벨기에에서는, 키미는 퀄리파잉을 10위로 마쳤지만 레이스의 11 랩에서 1위를 확보하고 이 시즌 동안 맥라렌의 유일한 우승을 가져간다. 또한 패스티스트 랩도 기록한다. 그 다음 주 몬짜에서, 키미는 또 다시 13 랩에서 리타이어 한다. 이번에는 전자 장비의 문제였다. 다음 경기인 2004년 중국 그랑프리에서는 우승자 루벤스 바리첼로에게 단 1.4초 뒤진 3위로 경기를 마친다.
2004년 일본 그랑프리에서 키미는 레이스의 첫 랩에서 펠리페 마사에게 추월을 당하고, 머신 조종 문제를 겪게 된다. 이 후 이 문제를 만회하면서 알론소에게 2.5초 뒤진 6위로 경기를 마친다. 시즌의 마지막 경기인 브라질 그랑프리에서 키미는 폴시터인 바리첼로를 턴03 태양의 커브(Curva De Sol)에 도착하기도 전에 추월한다. 키미는 이후 레이스를 리드하던 몬토야와 배틀을 벌였지만 1초 뒤진 2위로 들어온다. 키미는 45포인트로 6위인 야노 트룰리에게 단 한 포인트 뒤진 7위로 마무리 했으며 총 네 번의 포디움에 올랐다.
2004년 시즌의 아쉬움에도 불구하고, 키미는 여전히 BAR의 버튼, 르노의 알론소, 2005년 맥라렌의 팀메이트가 된 몬토야와 함께 이 스포츠에서의 떠오르는 스타임에는 분명했다. 많은 전문가들이 2005년에는 재정비된 팀이 트랙 위에서 멋진 배틀을 보여 줄 것이라고 예상했다. 키미는 또한 로스 브라운(Ross Brawn)과 장 토드(Jean Todt)에게서 페라리가 미래의 드라이버로 고려하고 있다는 말로 듣게 된다. 2004년 11월 초에 키미는 자신의 매니저 스티브 로버슨(Steve Robertson)과 함께 2005년 포뮬러 쓰리에 참가할 래이쾨넨 로버슨 레이싱(또는 더블 R)로 이름 지은 레이싱 팀을 만들 생각이라고 발표한다.
경력 > 포뮬러 원 (2001–2009) > 맥라렌 (2002–2006) > 2005

키미의 2005년 시즌의 시작은 완벽하지 못했다. 미쉘린 타이어가 너무 부드러워서 그 결과 퀄리파잉 세션 후반에 경쟁할 만한 충분한 온도를 만들어 내지 못했다. 처음 세 번의 레이스에서 맥라렌 드라이버가 기록한 퀄리파잉 최고 기록은 6위였다. 키미는 시즌 첫 레이스인 호주 그랑프리에서 그리드에서 제대로 출발하지 못했고 1 포인트만을 획득했다. 말레이시아에서는 포디움을 바라보고 있었지만 타이어 밸브가 제대로 잠기지 않아 포인트 획득에 실패하게 된다. 바레인에서 르노의 페르난도 알론소와 토요타의 야노 트룰리에 이어서 3위로 시즌 첫 포디움에 올랐다.
키미는 이후 산마리노, 스페인, 모나코에서 세 번 연속으로 폴포지션을 획득한다.이몰라에서 우승이 확실시 되었으나 드라이브 쉐프트 결함으로 놓친다. 그러나 이 후 두 번의 레이스에서 우승하면서 알론소를 22 포인트 차로 쫓아갔다.바르셀로나에서는 스페인 출신의 알론소를 저지하며 안정적인 레이스로 우승했다. 그리고 몬테 카를로에서는 단 한 번도 리드를 빼앗기지 않으며 마틴(Meil Martin)의 탁월한 세이프티 카 전략으로 우승을 차지한다. 유럽 그랑프리에서 키미는 자크 빌뇌브와의 배틀 중에 오른쪽 프론트 타이어에서 플랫-스팟 현상이 발견되었다. (몇몇 해설가들은 빌뇌브에게도 키미에게 레이싱 라인을 주지 않았기 때문에 책임이 있다고 말한다.) 마지막 랩에서 선두를 지키고 있었지만 그에 따른 진동으로 키미의 서스펜션이 제대로 작동하지 못해 타이어 월에 충돌하게 되어, 키미는 라이벌 알론소에게 10 포인트를 건내주고 만다. 타이어를 교체했다면 비교적 안전하게 3 위를 차지할 수 있었을 것이다. 그러나 2005년에는 안정 상의 이유로 타이어를 오직 '펑쳐가 나거나 손상된' 경우에만 교환할 수 있는 규정이 있었다. 그리고 스튜어드들은 플랫-스팟 현상이 충분히 위험하다고 생각했던 선례도 없었다. 이 사고는 부분적으로 처벌 없이 플랫-스팟 현상이 일어난 타이어를 교환할 수 있도록 한 규정 해석을 이끌어 냈다.
알론소의 2005년 시즌에서 첫 중대한 실수로 캐나다를 키미에게 내주었다. 그 다음 주에 맥라렌을 포함한 미쉘린 타이어를 사용하는 모든 팀이 안전 상의 이유로 2005년 미국 그랑프리를 기권했다. 프랑스 그랑프리에서 키미는 금요일 연습 세션에서 망가진 메르세데스-벤츠 엔진을 교체하여 10 그리드 페널티를 받게 되었다. 키미는 론 데니스가 최고의 퀄리파잉 랩이라고 말하는 퀄리파잉 세션을 치뤄냈고 3위로 들어왔으나 페널티로 인해 13번 그리드에서 많은 양의 연료를 가지고 레이스를 시작하게 되었다. 그리고 페르난도 알론소 다음으로 2위로 레이스를 마친다. 한 주 후 영국 그랑프리에서 키미는 연료 누출로 또 한번 메르세데스 엔진 문제를 겪는다. 퀄리파잉 2위의 결과가 12위가 되고 만다. 레이스는 3위로 마친다.
독일 그랑프리에서 키미는 편안히 주말 동안을 지배했다. 그러나 유압계통의 문제로 승리와 10 포인트를 알론소에게 넘겨준다. 이번 시즌 동안 이기고 있는 중에 리타이어를 하게 된 것이 세 번째였다. 세 번의 사고는 모두 챔피언십 라이벌인 알론소에게 우승이 돌아갔다. 헝가리에서 맥라렌과 함께 하는 것이 편안하다고 말은 했지만, 키미는 안정성 문제가 해결되지 못하면 계약이 만료되는 2006년에는 맥라렌을 떠날 가능성이 있다고 이야기하였다. 뉴스 컨퍼런스에서 "우리는 머신의 신뢰성을 확실히 하기 위해서 좀 더 나은 방식으로 일할 필요가 있다."라고 말했다. 그러나 비록 맥라렌 팀메이트 몬토야는 앞서다가 드라이브쉐프트 문제로 리타이어 했지만, 키미는 미하엘 슈마허를 앞서서 체커기를 받으며 우승을 가져간다.
키미는 한 주 전 호켄하임에서의 이른 리타이어 때문에 퀄리파잉에서 먼지와 지저분함으로 악명높은 트랙을 먼저 달려야 하는 매우 불리한 퀄리파잉 포지션에서 헝가리 그랑프리의 승리를 일궈냈다. 그리고 키미는 2005년 터키 그랑프리의 첫 우승자가 된다. 이 주 후 이탈리아에서 엔진 교체로 10 그리드 페널티를 받으며 폴포지션을 빼앗긴다. 키미는 퀄리파잉에서 팀페이트 몬토야보다 5 랩 만큼, 알론소보다는 6 랩 만큼의 연료를 더 가지고 달렸음에도 그들보다 앞섰다. 레이스 도중, 키미는 왼쪽 리어 타이어가 갈라지는 현상으로 한 번의 핏트 스탑을 더 가져가야 했고 12위까지 떨여졌다. 순위를 회복했지만 지안카를로 피지켈라(Giancarlo Fisichella)를 쫓는 도중 무리한 나머지 머신이 스핀하고 말았다. 결국에는 4위로 레이스를 마친다.
스파에서 열린 2005년 벨기에 그랑프리에서 키미는 이 년 연속으로 우승을 차지한다. 그 다음 브라질 그랑프리에서 몬토야와 자신의 뒤로, 3위로 들어온 알론소가 드라이버 챔피언십을 확정하는 것을 지켜보았다. 스즈카 서킷에서의 시즌의 끝에서 두 번째 레이스에서 키미는 17번 그리드에서 시작하여(비와 키미의 엔진 문제로 퀄리파잉 그리드가 뒤섞였다) 시즌 일곱 번째 우승을 맛본다. 3번 그리드에서 출발해 레이스 대부분을 이끌었던 르노의 피지켈라를 마지막 랩에서 추월하면서 키미의 우승이 결정되었다. 포뮬러 원 저널리스트인 피터 윈저(Peter Windsor)는 레이스에서 가장 인상적인 움직임이라고 평했다.
키미는 F1 레이싱의 "올해의 드라이버" 상과 오토스포츠의 "올해의 세계적 레이싱 드라이버"상을 수상했다.
경력 > 포뮬러 원 (2001–2009) > 맥라렌 (2002–2006) > 2006

2006년 바레인 그랑프리에서 키미는 금요일 연습 세션에서 전자장비 문제와 퀄리파잉에서 리어 서스펜션의 파손으로 인해 22 번 그리드에서 출발할 수 밖에 없었다. 그럼에도 불구하고 엄청난 드라이빙을 해냈고 알론소와 미하엘 슈마허에 이어 3위로 경기를 마쳤다. 말레이시아에서는 뒤에서 달리던 레드불 레이싱의 크리스티안 클라인(Christian Klien)이 첫 랩에서 키미의 머신과 부딪혔다. 키미의 머신은 왼쪽 리어 서스펜션이 망가져 리타이어 하고 말았다.
르노에게 명백히 뒤진 채로 시즌을 시작한 맥라렌은 2006년 호주 그랑프리에서 발전의 모습을 보였다. 키미는 레이스 중반에 타이어의 플랫-스팟 현상이 일어나고 윙의 엔드 플레이트를 잃어 속도가 늦춰진 상황에서도 두 번째로 레이스를 마쳤다. 레이스 후반부에 알론소를 쫓으며 키미는 레이스 마지막 랩에서 패스티스트 랩을 기록했고 알론소와 단 1.8초 차이였다. 산마리노에서 잘못된 전략과 키미의 실수로 퀄리파잉을 8위로 마쳤고, 이는 맥라렌이 레이스 초반에 트래픽에 걸리면서 미하엘 슈마허와 알론소가 앞서게 되었다. 키미는 5위로 경기를 마쳤고, 팀메이트 몬토야는 3위였다. 맥라렌 팀 보스인 론 데니스(Ron Dennis)는 이 레이스에서 팀이 1, 2위를 차지하지 못한 팀의 실패를 키미의 부족한 성과 때문이라고 그를 비난했다.
스페인에서 키미는 9위로 퀄리파잉을 마쳤다. 그러나 레이스의 첫 랩에서 5위로 올라왔다. 그는 레이스 내내 자리를 지켰으며 5위로 경기를 마쳤다. 스페인 그랑프리 며칠 후 키미는 2006년 챔피언십에서 이길 가능성이 없다고 말한다. 모나코에서 키미는 3번 그리드에서 레이스를 시작한다. 레이스 도중 2위까지 올라 알론소와 페이스를 맞췄으나 역시 선두 다툼을 하고 있던 3위의 마크 웨버의 차량에서 연기가 나며 세이프티 카가 나온다. 키미와 알론소는 모두 피트인을 했고, 그 전에 피트인을 했던 키미는 더 많은 기름을 가지고 오래 달릴 수 있었으나 머신에서 연기가 나오며 엔진 문제로 리타이어 하고 만다. 리타이어 후 생방송 중계에서 헬멧을 들고 침착하게 항구 길가를 한참 걸어서 요트에 타는 모습이 방송되었다.
영국의 실퍼스톤에서 알론소와 미하엘 슈마허 사이의 2위로 퀄리파잉을 마친다. 알론소, 키미, 슈마허의 순으로 레이스가 계속되었으나 두 번째 피트스탑에서 슈마허가 키미를 앞선다. 그리고 키미는 3위로 레이스를 마친다. 캐나다에서 또 한번 포디움에 오른다. 미국 그랑프리에서 키미의 팀메이트 몬토야가 키미를 추돌하면서 총 일곱 대의 차가 사고에 휘말린다. 프랑스에서 퀄리파잉을 6위로 마쳤고, 팀메이트가 몬토야를 대신해 전 테스트 드라이버인 페드로 데 라 로사(Pedro de la Rosa)로 바뀌었다. 키미는 5위로 레이스를 마쳤다. 독일 그랑프리에서 폴 포지션을 잡았다. 젠슨 버튼과의 배틀 후 3위로 경기를 마친다. 키미의 포뮬러 원 커리어에서 처음으로 독일 그랑프리를 완주한 것이다. 헝가리에서 또 한 번 폴포지션을 잡았으나 25 랩 이후 비탄토니오 리우찌(Vitantonio Liuzzi)를 추돌하며 시즌 네 번째 리타이어를 하게 된다.
터키에서는 첫 번째 코너에서의 스콧 스피드(Scott Speed)와의 사고로 타이어가 터지고 서스펜션에 데미지를 입는다. 타이어 교환 후, 키미는 리어 그립을 잃고 턴04에서 배리어를 박으며 레이스를 끝낸다. 이탈리아에서 미하엘 슈마허와 천 분의 2초 차이로 폴포지션을 잡는다. 레이스 초반부를 이끌었으나 첫 번째 피트스탑에서 슈마허가 앞선다. 그리고 2위로 레이스를 마무리한다. 레이스 후 슈마허는 시즌을 마친 후 리타이어 할 것이라고 발표한다. 이 후 페라리는 2007년 시즌에 키미를 영입할 것이라고 발표했다.
2006년 중국 그랑프리에서 쓰로틀 문제로 또 다시 리타이어 한다. 일본과 브라질에서 모두 포디움을 놓친다. 키미는 맥라렌-메르세데스에서 마지막을 월드 드라이버 챔피언십에서 5위로, 월드 컨스트럭터 챔피언십에서 맥라렌은 3위로 우승 없는 한 해를 마무리했다.
키미의 포뮬러 쓰리팀인 래이쾨넨 로버슨 레이싱은 첫 번째 성공을 맛본다. 영국 드라이버인 마이크 콘웨이(Mike Conway)가 2006년 영국 포뮬러 쓰리 시즌의 타이틀과 유명한 마카오 그랑프리에서 우승한다.
경력 > 포뮬러 원 (2001–2009) > 페라리 (2007–2009)

2006년 이탈리아 그랑프리이후, 페라리는 키미와 2007-2009년 시즌까지 3년 간의 계약을 발표했다. 키미는 새 팀으로의 변화가 매우 기쁘며 맥라렌에도 행운이 있기를 바란다고 말했다. 키미의 팀메이트는 브라질인 펠리페 마사(Felipe Massa)로 2006년부터 페라리와 함께한 드라이버다. 미하엘 슈마허의 은퇴와 페라리와의 새 계약으로, 키미는 연간 미국 달러 51M으로 F1에서 가장 많은 수익을 올리는 드라이버로 추정되었다.
경력 > 포뮬러 원 (2001–2009) > 페라리 (2007–2009) > 2009

2009년 시즌은 호주에서 시작하였다. 키미는 9 그리드에서 레이스를 펼치게 되었다. 페라리와 맥라렌의 페이스는 브라운에 비해 심각하게 느려 보였다. 두 페라리는 모두 잘 달리고 있었으나, 키미가 배리어를 받으며 계획에 없던 피트스탑을 랩 43에 가져가게 되었고 그 후 디퍼런셜 문제로 리타이어 했다.
말레이시아에서 키미는 두 번째 연습 세션에서 맨 위에 이름을 올렸다. 키미는 퀄리파잉에서 9위를 기록했다. 제바스티안 페텔과 루벤스 바리첼로의 10 그리드와 5 그리드 페널티로 키미는 7 그리드에서 레이스를 시작하였다. 레이스에서 비가 예보되어 팀은 트랙은 말라 있었지만 풀 웻 타이어로 교체라는 도박을 했다. 그러나 도박은 대가를 받지 못하게 되었고 키미는 뒤쳐졌다. 33 랩에서 엄청난 폭우로 레이스가 중단되었고 키미는 14위었다.
키미의 시즌은 세 번째 라운드인 중국에서도 잘 풀리지 않았다. 퀄리파잉에서 8위를 기록했다. 웻 레이스에서 키미와 루이스 해밀턴은 초반부터 배틀을 시작했고 해밀턴은 키미를 세 번이나 추월했다. 키미는 스타트에서 엔진의 파워 로스에 대해 불만을 표했고 한 번의 피트스탑 후 그립 부족에 대해서도 불평했다. 키미는 10위로 레이스를 마치게 되었다. 바레인에서 키미는 6위를 지켰고 페라리에게 시즌 첫 포인트를 가져다 주었다. 그러나 팀의 성과에 대해 실망하였다. 스페인에서는 유압계 문제로 퀄리파잉 후 리타이어 했다.
모나코에서 키미는 퀄리파잉에서 2위를 기록, 페라리와 키미의 시즌 최고의 퀄리파잉 기록을 냈다. 브라운의 젠슨 버튼에 밀려 아깝게 폴 포지션을 놓친 것에 실망한다고 말했다. 키미는 스타트에서 바리첼로에게 자리를 내주고 3위로 떨어졌고 이 순위로 체커기를 받았다.
2009년 터키 그랑프리에서 키미는 6위로 퀄리파잉을 마쳤다. 레이스 첫 랩에서 프론트 윙에 손상을 입으며 9위로 레이스를 마쳤고 포인트를 얻지 못했다. 영국에서는 9 그리드에서 시작했으나 좋은 스타트로 5위까지 올랐다. 그러나 피트스탑에서 트래픽에 걸려 8위로 떨어져 이 순위로 레이스를 마쳤다.
독일에서 키미는 9 그리드에서 레이스를 시작했다. 포스인디아의 아드리안 수틸과 지난 시즌의 모나코에서와 비슷하게 충돌했다. 수틸은 피트에서 노즈콘을 교체해야 했고, 키미는 몇 랩 후 충돌로 인한 라디에이터 손상으로 리타이어 할 수 밖에 없었다.
헝가리에서 키미는 자신과 페라리의 시즌 최고 기록인 2위를 기록했다. 7 그리드에서 시작해 첫 코너 이후 4위까지 올라갔다. 알론소가 이런 첫 번째 피트스탑에서 리타이어를 했고 키미는 3위로 오른다. 키미는 첫 피트스탑에서 마크 웨버와 같은 랩에서 피트인 하여 피트스탑에서 추월해 2위를 차지했다. 키미는 깨끗한 피트스탑을 했으나 웨버는 문제가 있었고 페라리가 나가는 길에 함께 나오게 되었다. 키미와 웨버는 충돌은 피했지만 웨버는 키미 뒤로 들어올 수 밖에 없었다. 두 번째 피트스탑에서 키미는 이그조스트 파이프에 문제가 있었지만 웨버와 차이를 많이 벌려 놓았기 때문에 2위를 지킬 수 있었다.
유럽 그랑프리에서 키미는 6 그리드에서 출발해 스타트에서 4위까지 뛰어오른다. 그리고 두 번째 피트스탑에서 헤이키 코발라이넨을 추월하며 마지막 포디움 자리를 확보했다. 그리고 2 회 연속으로 포디움에 오르게 되었다.
벨기에에서 6 그리드에서 출발해 스타트에서 2위까지 올랐다. 세이프티 카 상황이 끝난 후 키미는 지안카를로 피지켈라를 추월했고 25번의 레이스 만에 승리를 거머쥔다. 그리고 이 승리는 2009년 시즌 페라리의 유일한 승리였다. 이것은 키미의 최근 다섯 번의 벨기에 그랑프리에서 네 번째 우승이었다. 이 승리로 "스파의 왕"이라는 명성이 더욱 높아지게 되었다.
키미는 이탈리아에서 계속 좋은 기세를 이어갔고, 퀄리파잉과 레이스 모두 3위로 마쳤다. 이것은 4회 연속 포디움 피니시였다.
같이 보기

세계 랠리 선수권 대회
포뮬러 원
포뮬러 원 월드 챔피언십 목록
2002 미국 그랑프리에서의 키미 라이콰넨
2003년 프랑스 그랑프리에서의 키미.
2004년 미국 그랑프리 퀄리파잉에서 맥라렌 메카닉이 키미의 MP4-19를 차고로 밀어 넣고 있다.
2005년 캐나다 그랑프리의 키미
2005년 미국 그랑프리의 키미
키미가 발렌시아 서킷에서 맥라렌을 위해 테스트를 하고 있다.
2006년 실버스톤에서 맥라렌 테스트를 하는 키미
키미가 페라리팀에서 2007년 미국 그랑프리에서 경주하고 있다.
키미는 실버스톤에서 3위에 올랐다.
2007년 벨기에 그랑프리에서 시즌 네 번째 우승을 한 키미
2007년 브라질 그랑프리에서 키미가 우승과 챔피언 타이틀을 축하하고 있다.
키미는 2008년 말레이시아 그랑프리에서 시즌 첫 승을 가져갔다.
2008년 캐나다 그랑프리에서 페라리의 키미
키미는 2008년 벨기에 그랑프리에서 두 랩을 남기고 루이스 해밀턴과 충돌했다
키미가 페라리 F60을 시험하고 있다.
2009년 터키 그랑프리의 키미.
김흥동 (의사)

| 김흥동 |
| --- | --- |
성별: 남성
국적: 대한민국
경력: 연세대학교 의료원 세브란스 어린이병원 교수, 한국뇌전증협회 대표
직업: 의사, 교수
소속: 연세대학교 의료원 세브란스 어린이병원
상훈: 국민훈장 동백장
김흥동은 연세대학교 의료원의 세브란스 어린이병원 교수이자 한국뇌전증협회 대표이다. 소아 뇌전증 치료를 위해 대마 의약품 합법화에 나선 공로로 국민훈장 동백장을 받았다.
| 전거 통제  |
| --- | --- |
국제:  ISNI  VIAF 
국가:  한국 
학술:  ORCID
전주연

| 전주연 全珠延 |
| --- | --- |
출생: 1974년 8월 22일
국적: 대한민국
경력: 제6대 광주광역시의원
다른 뜻에 대해서는 전주연 (동음이의) 문서를 참고하십시오.
전주연(全珠延, 1974년 8월 22일 ~ )은 대한민국의 제6대 광주광역시의원이었다.
학력

경희대학교 불어불문학과 졸업
경력

민주노동당 광주시당 무상교육추진위원회 위원장
광산구 교육희망네트워크 집행위원
사랑의 몰래산타 광주본부 공동대표
2010.07 ~ 2014.06 제6대 광주광역시의회 의원
2010.07 ~ 2012.07 제6대 광주광역시의회 전반기 의회운영위원회 위원
2010.07 ~ 2012.07 제6대 광주광역시의회 전반기 행정자치위원회 위원
2010.07 ~ 2012.07 제6대 광주광역시의회 전반기 예산결산특위원회 위원
2010.07 ~ 2012.07 제6대 광주광역시의회 전반기 문화수도특위원회 위원
2010.07 ~ 2012.07 제6대 광주광역시의회 전반기 윤리특위원회 위원
2012.07 ~ 2014.06 제6대 광주광역시의회 후반기 산업건설위원회 위원
2012.07 ~ 2014.06 제6대 광주광역시의회 후반기 예산결산특위원회 위원
2012.07 ~ 2014.06 제6대 광주광역시의회 후반기 투자유치사업행정사무조사특위원회 위원
2012.07 ~ 2014.06 제6대 광주광역시의회 후반기 문화수도특위원회 위원
2012.07 ~ 2014.06 제6대 광주광역시의회 후반기 성평등특위원회 위원
융중대

융중대의 계획안.
융중대(隆中對, 중국어: 隆中策)는 후한말 제갈량이 유비에게 말한 계획안으로서, 이후 삼국시대 때 촉나라의 대전략으로 기능했다.
당시 조조는 원소 일문을 몰락시키고 중원 전체를 지배하에 넣었으며, 남은 군벌은 양주의 손권, 형주의 유표, 익주의 유장, 한중의 장로, 서량의 마초와 한수, 교주의 사섭 정도였다. 이 중 유표가 지배하는 형주는 양주와 익주의 중간에 위치하고 있으며 북으로는 바로 중원으로 통하여 군사적으로 중요한 지역이었다.
권력 분립  문서를 참고하십시오.
이러한 정세를 감안하여 제갈량은 유비가 형주와 익주를 영유함으로써 조조, 손권과 함께 중국을 셋으로 나눌 것을 제안한다. 손권과 동맹을 맺고 조조를 막아내며, 유사시 형주를 통해 바로 지척인 낙양을 공격하고 또 익주의 군대는 장안을 공격하면 조조를 타도할 수 있다는 것이다.
적벽대전 후 유비는 형주 영유에 성공하고, 나아가 214년 유장을 거세하고 익주도 손에 넣는다. 이어 219년 조조와의 한중 전투에서 승리하여 형주와 익주, 한중에 이르는 조조, 손권과 버금가는 광대한 세력을 갖게 된다. 여기에 이르러 융중대는 완성되는가 싶었지만 219년 관우가 형주 공방전에서 여몽에게 패배하여 형주를 잃고, 형주 탈환을 위해 침공한 유비도 이릉대전에서 육손에게 대패, 융중대는 사실상 폐기된다.
이후 제갈량은 형주를 잃은 대신 북쪽의 서량을 정복하여 관중으로 쇄도하는 옹양주 겸병을 새로운 대전략으로 마련했다. 그리고 이를 실행에 옮긴 것이 소위 북벌이다.
같이 보기

하나의 중국
오반 (삼국지)

오반(吳班, ? ~ ?)은 중국 후한 말기 ~ 촉한의 군인으로, 자는 원웅(元雄)이며 진류군 사람이다. 오광의 아들이자 오의의 족제로, 관위는 항상 오의에 버금갔으며 표기장군을 역임했다.
| --- | --- |
이름: 오반(吳班)
시대: 삼국 시대
생몰:  ? ~ ?
자: 원웅(元雄)
본관 · 출신: 연주 진류군
관직: 장군(將軍) →독후부(督後部) · 후장군(後將軍) → 표기장군(驃騎將軍) · 가절(加節)
작위: 안락정후(安樂亭侯) → 면죽후(綿竹侯)
소속: 촉한
행적

유비 시대에는 영군을 지냈다. 이릉 전투에 종군하여 풍습과 함께 이이 등을 격파하고, 장무 2년(222년)에는 진식과 함께 수군을 이끌었다. 유비의 명령을 받고 수천 명을 이끌고 평지에서 오나라 군사를 도발했으나, 육손이 유비의 계책을 간파하고 움직이지 않아 무위로 돌아갔다.
유선의 대에 점차 승진하여 표기장군·가절이 되었고, 면죽후에 봉해졌다. 《한진춘추》에 따르면 제갈량의 제4차 북벌에 참전해, 위연·고상과 함께 사마의(司馬懿)를 대파했다.
건흥 9년(231년), 이엄의 탄핵을 요청하는 제갈량의 표문에 연명했으며, 당시 관직은 독후부 · 후장군이었고, 작위는 안락정후였다.
삼국지연의의 묘사

장비의 부장이었다가 장비가 부하 범강과 장달에게 살해당하자 유비의 오나라 정벌군의 선봉이 되어 장남·풍습과 함께 이릉에서 손환을 포위하지만 이릉 대전에서 육손의 화공으로 대패해 후퇴한다.
이후 후장군이 되어 제갈량의 6차 북벌에 참여해 오의와 함께 위수를 공격하려다가 이를 간파한 사마의의 계략에 빠져 장호와 악침에게 전사했다.
같이 보기

삼국지 인물 목록
초벽

나무 프레임의 와틀과 도브
초벽(Wattle and daub)은 벽과 건물을 만드는 데 사용되는 복합 재료 건축 방식으로, 욋가지(wattle)로 격자를 짠 뒤 젖은 흙, 점토, 모래, 동물의 배설물 및 짚의 조합으로 만들어진 점성이 있는 재료를 발라서 작업한다. 인류 문명에서 적어도 6,000년 이상 사용되어 왔으며, 여전히 사용되고 있는 건설 방법이다.
역사

초벽 기술은 신석기 시대에 이미 사용되고 있었다. 아시아 뿐 아니라 중부 유럽과 북미(미시시피 문화) 및 남미에서도 그 흔적이 발견된다. 아프리카에서는 아샨티인 등의 전통 가옥에서 흔히 볼 수 있다.
또한 기원 전 5천년 경 고대 이집트의 메림데 및 엘 오마리(El Omari)와 같은 유적지에서도 나타난다. 고대 이집트에서는 첫 번째 왕조가 시작될 때까지 선호되는 건축 방식이었으며 신왕국과 그 이후까지도 사용되었다.
같이 보기

목골조
어도비
판축
미시시피 시대에 북미 원주민이 사용한 초벽집
알렉산드라 카일

| 알렉산드라 카일 Alexandra Kyle |
| --- | --- |
출생: 1988년 11월 11일 로스앤젤레스
성별: 여성
국적: 미국
직업: 배우, 영화배우
알렉산드라 카일(Alexandra Kyle, 1988년 11월 11일 ~ )은 미국의 배우, 영화배우이다.
로스앤젤레스에서 태어났다.
영화

펑키 멍키 (2004년)
완벽한 그녀에게 딱 한가지 없는 것 (2004년) - 톰-톰 아역 역
아이 포 아이 (1996년)
타임 투 킬 (1996년)
하선규

| 하선규 河善圭 |
| --- | --- |
출생: 1946년 3월 20일 경상남도 밀양시
국적: 대한민국
경력: 제5대 부산광역시의원
하선규(河善圭, 1946년 3월 20일, 경상남도 밀양시 ~ )는 대한민국의 제5대 부산광역시의원이었다.
학력

부산여자초급대학 졸업
경력

前 부산YWCA 회장
2006.07 ~ 2010.06 제5대 부산광역시의회 의원
한국 합창올림픽 조직위원회 이사
대통령직속 지속가능발전위원회 위원
서적

부산광역시시의회
하선규, <리더십 이야기>,미디어감어, 2010.11.20
753

| 752 ← 753 → 754 |
| --- | --- |
← 750 751 752 753 754 755 756 757 758 759 → ← 700 710 720 730 740 750 760 770 780 790 →← 0 100 200 300 400 500 600 700 800 900 →
읽는 법: 칠백오십삼
세는 법: 칠백쉰셋
한자: 七百五十三
소인수 분해: 3 × 251 
로마 숫자: DCCLIII
2진수: 10111100012
3진수: 10002203
4진수: 233014
5진수: 110035
6진수: 32536
8진수: 13618
12진수: 52912
16진수: 2F116
20진수: 1HD20
36진수: KX36
수 목록 · 정수
v t e
753(칠백오십삼)은 752보다 크고 754보다 작은 자연수다.
수학

합성수로, 그 약수는 1, 3, 251, 753이다. 진약수의 합은 255이므로, 753은 부족수다.
20^{10}-1은 753으로 나누어떨어진다.
과학

NGC 753(영어판): 안드로메다자리 방향에 있는 나선은하.
753 티플리스(영어판): 소행성.
교통 > 철도

서울 지하철 7호선 춘의역의 역번호.
교통 > 도로

현도 제753호선
군사

753 해군 항공대(영어판): 과거 존재한 영국의 해군 항공대.
U-753(영어판): 제2차 세계 대전에 사용된 나치 독일의 군용 잠수함.
문화유산

대한민국의 보물 제753호: 상지금니 대방광원각수다라요의경
기타

연도: 753년, 기원전 753년
시치고산
일본의 인명 ‘나고미(なごみ)’의 숫자 고로아와세. 만화 《2.5차원의 유혹》에 등장하는 동명의 인물의 예명 표기에도 쓰였다.
버트 배커랙

| 버트 배커랙 Burt Freeman Bacharach |
| --- | --- |
본명: 버트 프리먼 배커랙
로마자 표기: Burt Freeman Bacharach
출생: 1928년 5월 12일
사망: 2023년 2월 8일
성별: 남성
국적: 미국
직업: 피아니스트, 작곡가, 음악 프로듀서
활동 기간: 1950년대 ~
버트 배커랙(2008년)
버트 배커랙(Burt Freeman Bacharach, 1928년 5월 12일~2023년 2월 8일)은 미국의 피아니스트, 작곡가, 음악 프로듀서이다. 그는 20세기 대중음악의 가장 중요하고 영향력 있는 인물 중 한 명으로 널리 알려져 있다. 1950년대부터 그는 작사가 핼 데이비드(Hal David)와 공동으로 수백 곡의 팝송을 작곡했다. 배커랙의 음악은 그의 재즈 배경에 영향을 받은 특이한 코드 진행과 박자표 변화, 소규모 오케스트라를 위한 흔하지 않은 악기 선택이 특징이다. 그는 자신이 녹음한 결과물의 대부분을 편곡, 지휘, 제작했다.
음반 목록 > 사운드트랙

고양이 (1965)
폭스를 잡아라 (1966)
007 카지노 로얄 (1967)
내일을 향해 쏴라 (1969)
잃어버린 지평선 (1973)
미스터 아더 (1981)
뉴욕의 사랑 (1982)
음반 목록 > 무대 공연

마를레네 디트리히 (1968) - 콘서트 편곡, 지휘
영상 출연 > 영화

오스틴 파워: 제로 (1997) - 본인 역
오스틴 파워 (1999)
오스틴 파워: 골드멤버 (2002)
영상 출연 > 텔레비전

못말리는 유모 (1996)
닙턱 (2006) - 본인 역
오토 조넨홀츠너

| 오토 라몬 조넨홀츠너 슈페어 Otto Ramón Sonnenholzner Sper |
| --- | --- |
본명: 오토 라몬 조넨홀츠너 슈페어
로마자 표기: Otto Ramón Sonnenholzner Sper
출생: 1983년 3월 19일
성별: 남성
국적: 에콰도르
경력: 제50대 부통령
직업: 라디오 방송인, 경제학자, 정치인
오토 라몬 조넨홀츠너 슈페어(스페인어: Otto Ramón Sonnenholzner Sper, 1983년 3월 19일 ~ )는 에콰도르의 라디오 방송인, 경제학자, 정치인으로 제50대 부통령직을 지냈다.
생애

1983년 3월 19일 과야킬에서 라몬 조넨홀츠너와 로세 엘레나 슈페어의 아들로 테어났다. 에콰도르, 독일, 스페인에서 사회통신국제경제학을 전공했으며, 이후 트로피카나 라디오]]의 국장 및 연설인, 에콰도르 방송인 협회(AER) 의장을 지냈다. 현재 과야킬 대학교에서 강사로도 활동 중이다.
부인 클라우디아 살렘 바라크와의 사이에 세 자녀를 두고 있다.
2018년 12월 마리아 알레한드라 비쿠냐가 사임한 이후, 레닌 모레노 대통령의 추천에 따라 국회는 조넨홀츠너를 새 부통령으로 선출했다.
2020년 7월 7일 과야킬에서 발생한 코로나19 사태의 책임을 지고 부통령직을 사퇴했다. 이 시기 모레노 대통령은 각종 부패 혐의에 연루되어 논란이 되고 있던 중이었다.
역대 선거 결과

| 선거명 | 직책명 | 대수 | 정당 | 득표율 | 득표수 | 결과 | 당락 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2018년 선거 | 에콰도르의 부통령 | 50대 | 무소속 |  73.44% | 94표 | 1위 |  |
새 기초

수리논리학에서 새 기초(영어: New Foundations, 약자 NF)는 공리적 집합론의 일종이다. 윌러드 반 오먼 콰인(Quine)이 《수학 원리》(Principia Mathematica)의 유형론을 단순화시킨 것에서 유래한다. 콰인은 1937년 "New Foundations for Mathematical Logic"에서 처음 NF를 선보였다. 1940년에, 그리고 1951년의 수정판에서, 콰인은 NF의 확장을 소개했고, 이는 집합은 물론 고유 모임도 포함한다.
NF의 중요 변형인 NFU는 로널드 젠슨(Ronald Jensen)이 1969년 도입한 것으로, 이는 원소는 될 수 있으나 집합은 아닌 대상, 즉 원초(urelement)의 존재를 허용한다. 이에 따라 NFU는 전체 집합을 포함하며, … xn ∈ xn-1 ∈ …x3 ∈ x2 ∈ x1 과 같은 원소관계의 무한 강하 사슬을 허용하는 비정초적 집합론(non-well-founded set theory)이다. NFU를 받아들일 시 페아노 산술과의 상대적 무모순성이 증명된다.
NF에서는 러셀의 유형론적 집합론(TST)과 같이 식들을 계층화(stratify)하여 x ∈ x와 같은 식이 원천적으로 불가능하게 되므로 러셀의 역설에 걸리지 않는다. 다만 기존 러셀 유형론과의 중대한 차이는 분류 공리꼴을 이용하여 유형을 간접적으로 나타냄으로써 유형의 개념을 별도로 도입하지 않도록 수정되었다는 점이다.
정의 > 단순 유형 집합론

단순 유형 집합론(영어: simple type theory (of sets), 프랑스어: théorie simple des types, 약자 TST)은 자연수 종류를 갖는 다종류(영어: many-sorted) 1차 이론이며, 이항 관계  \in 를 갖는다.  x\in y가 논리식이려면  y의 종류가  x의 종류보다 1 커야 한다. TST의 공리계는 다음과 같은 두 공리 기본꼴로 구성된다.
(확장 공리 기본꼴)  \forall x^{i+1}\forall y^{i+1}(\forall z^{i}(z^{i}\in x^{i+1}\iff z^{i}\in y^{i+1})\implies x^{i+1}=y^{i+1})
(분류 공리 기본꼴)  x_{1},x_{2},\dots ,x_{n},z^{i}를 자유 변수로 갖는 논리식  \phi 에 대하여,  \forall x_{1}\forall x_{2}\cdots \forall x_{k}\exists y^{i+1}\forall z^{i}(z^{i}\in y^{i+1}\iff \phi )
꼬인 유형 집합론(영어: tangled type theory (of sets), 약자 TTT)은 TST와 유사하나, 논리식  x\in y에서  y의 종류와  x의 종류의 차가 정확히 1일 필요가 없다. 구체적으로, TTT는 자연수 종류를 갖는 다종류 1차 이론이며, 이항 관계  \in 을 갖는다. 논리식  x\in y에서,  y의 종류는  x의 종류보다 크다. TTT의 공리계는 다음과 같다.
TST의 공리  \phi  및 단사 증가 함수  s\colon \mathbb {N} \to \mathbb {N} 에 대하여,  s(\phi ). 여기서  s(\phi )는  \phi 에 등장하는 임의의 변수  x^{i}를  x^{s(i)}로 대체한 논리식이다.
정의 > 새 기초

새 기초는 무종류(영어: unsorted) 1차 이론이며, 이항 관계  \in 를 갖는다.
새 기초의 논리식  \phi 에 대하여, 만약 다음 조건을 만족시키는 함수  f\colon \operatorname {var} (\phi )\to \mathbb {N} 이 존재한다면 ( \operatorname {var} (\phi )는  \phi 에 등장하는 변수의 집합),  \phi 를 층화 논리식(영어: stratified formula)이라고 한다.
\phi 에 등장하는 각 변수  x를 유형이  f(x)인 변수로 여기면 TST의 논리식을 얻는다. 즉, 만약  x=y가  \phi 의 부분 논리식이라면  f(x)=f(y)이며, 만약  x\in y가  \phi 의 부분 논리식이라면  f(y)=f(x)+1이다.
새 기초의 공리계는 다음과 같다.
(확장 공리)  \forall x\forall y(\forall z(z\in x\iff z\in y)\implies x=y)
(층화 분류 공리 기본꼴, 영어: axiom schema of stratified comprehension)  x_{1},x_{2},\dots ,x_{n},z를 자유 변수로 갖는 층화 논리식  \phi 에 대하여,  \forall x_{1}\forall x_{2}\cdots \forall x_{n}\exists y\forall z(z\in y\iff \phi )
층화 분류 공리 기본꼴은 무한한 수의 층화 분류 공리들로 이루어지지만, 어떤 유한 개의 층화 분류 공리와 동치임을 보일 수 있으며, 따라서 새 기초는 유한 공리화 가능 이론이다. 물론, 새 기초를 유한 공리화하는 방법은 유일하지 않다.
정의 > 근원소를 갖는 새 기초

근원소를 갖는 새 기초(영어: New Foundations with urelements, 약자 NFU)는 새 기초와 유사하나, 근원소(영어: urelement)의 존재를 허용한다. 즉, 새 기초의 공리계에서 확장 공리를 다음과 같은 공리로 대체한 집합론이다.
(공집합이 아닌 집합에 대한 확장 공리)  \forall x\forall y((\exists z(z\in x)\land \forall w(w\in x\iff w\in y))\implies x=y)
마찬가지로, 근원소를 갖는 단순 유형 집합론(영어: simple type theory with urelements, 약자 TSTU)과 근원소를 갖는 꼬인 유형 집합론(영어: tangled type theory with urelements, 약자 TTTU)을 정의할 수 있다.
상대적 무모순성

다음과 같은, TST(U)의 언어로 된 명제 집합을 정의하자.
(모호 공리 기본꼴, 영어: ambiguity scheme, 약자 Amb) 문장  \phi 에 대하여,  \phi \iff \phi ^{+}. 여기서  \phi ^{+}는  \phi 에 등장하는 임의의 변수  x^{i}를  x^{i+1}로 대체한 논리식이다.
그렇다면, 다음 이론들이 서로 등무모순적이다.
{\mathsf {NF}}
{\mathsf {TST}}+{\mathsf {Amb}}
{\mathsf {TTT}}
마찬가지로, 다음 이론들이 서로 등무모순적이다.
{\mathsf {NFU}}
{\mathsf {TSTU}}+{\mathsf {Amb}}
{\mathsf {TTTU}}
매클레인 집합론(영어: Mac Lane set theory, 약자 Mac)은 체르멜로 집합론(Z)에서 분류 공리 기본꼴을 모든 한정이 집합에 대한 한정인 논리식에 대한 분류 공리 기본꼴로 약화한 집합론이다. 케이-포스터 집합론(영어: Kaye–Forster set theory, 약자 KF)은 체르멜로 집합론(Z)에서 분류 공리 기본꼴을 모든 한정이 집합에 대한 한정인 층화 논리식에 대한 분류 공리 기본꼴로 약화한 집합론이다. KF는 Mac의 부분 이론이다.
{\mathsf {Inf}}와  {\mathsf {Choice}}가 (각 이론에서의) 무한 공리와 선택 공리라고 하자. 그렇다면, 다음 이론들이 서로 등무모순적이다.
{\mathsf {TST}}+{\mathsf {Inf}}
{\mathsf {TST}}+{\mathsf {Inf}}+{\mathsf {Choice}}:252, Remark
{\mathsf {NFU}}+{\mathsf {Inf}}:252, Remark
{\mathsf {NFU}}+{\mathsf {Inf}}+{\mathsf {Choice}}:252, Remark
{\mathsf {Mac}}
{\mathsf {KF}}
반면, NF는 선택 공리의 부정을 함의하며, 따라서 무한 공리를 함의한다.
다음이 성립한다.
{\mathsf {NFU}}\vdash \operatorname {Con} ({\mathsf {Q}}) [ {\mathsf {Q}}는 로빈슨 산술(영어: Robinson arithmetic)]
{\mathsf {NF}}\vdash \operatorname {Con} ({\mathsf {PA}})
{\mathsf {PA}}\vdash \operatorname {Con} ({\mathsf {NFU}}):252
{\mathsf {PA}}\vdash \operatorname {Con} ({\mathsf {TST}}):252
{\mathsf {PA}}\vdash \operatorname {Con} ({\mathsf {TST}}+{\mathsf {Inf}})\implies \operatorname {Con} ({\mathsf {NFU}}+{\mathsf {Inf}}):252, Theorem 1
{\mathsf {PA}}\vdash \operatorname {Con} ({\mathsf {TST}}+{\mathsf {Inf}}+{\mathsf {Choice}})\implies \operatorname {Con} ({\mathsf {NFU}}+{\mathsf {Inf}}+{\mathsf {Choice}}):252, Theorem 1
{\mathsf {Z}}\vdash \operatorname {Con} ({\mathsf {TST}}+{\mathsf {Inf}})
{\mathsf {ZF}}\vdash \operatorname {Con} ({\mathsf {NF}})
(마지막 결과는 아직 정식 출판되지 않았다.)
역사

단순 유형 집합론(TST)은 1930년대에 알프레트 타르스키가 처음 정의하였다. 1968년 논문에서 로널드 젠슨(영어: Ronald Jensen)은 근원소를 갖는 새 기초(NFU)를 도입하였으며, NFU가 페아노 산술(PA)에 상대적으로 무모순적임을 증명하였다. (젠슨의 증명은 모형 이론적이지만, PA에서 기술 가능한 특정 모형들만 사용하기 때문에 PA에서 형식화할 수 있다.)
조부 (후한)

조부(趙浮, ? ~ ?)는 중국 후한 말의 정치가 한복(韓馥)의 부하로, 《삼국지연의》에는 등장하지 않는 인물이다.
생애

| --- | --- |
이름: 조부(趙浮)
시대: 후한
생몰:  ? ~ ?
자: 
본관 · 출신: 
관직: 도독종사(都督從事)〔한복〕
작위: 
소속: 한복
한복 수하의 도독종사(都督從事)로, 한복의 명령으로 동료 정환(程奐)과 함께 수백 척의 병선과 1만 명의 노병을 데리고 하양(河陽)의 맹진(孟津)에 주둔하고 있었다.
초평(初平) 2년(191년) 한복이 원소(袁紹)에게 기주(冀州)를 양도하려 하자, 정환과 함께 한복에게 돌아갔다. 이때 원소가 조가(朝歌)의 청수구(淸水口)에 있었는데, 조부는 원소를 쫓아가 군사들로 정연히 북을 치며 행군하게 했고, 밤중에 원소가 머무는 영채 바로 앞을 가로질러 가며 그를 위협하였다. 이에 원소는 조부,정환등의 의도를 알고 그들을 심히 증오하였다고 한다. 한복에게 돌아간 조부는 사실 원소의 군사력은 미약한데다 군량도 없으니 그를 공격한다면 열흘안에 격파시킬 수 있다고 말하며 한복에게 원소를 칠 것을 진언하였으나, 결국 받아들여지지 않았고 한복은 원소에게 기주를 양도하였다.
저종

저종(沮宗, ? ~ ?)은 중국 후한 말의 인물로, 기주(冀州) 광평군(廣平郡) 사람이다.
생애

| --- | --- |
이름: 저종(沮宗)
시대: 후한
생몰:  ? ~ ?
자: 
본관 · 출신: 기주 광평군
관직: 
작위: 
소속: 원소
원소(袁紹)의 모사 저수(沮授)의 동생이다.
건안(建安) 5년(200년), 원소는 조조(曹操)를 토벌하고자 안량(顔良)을 보내어 백마(白馬)에 주둔한 동군태수(東郡太守) 유연(劉延)을 공격하였고 자신은 여양(黎陽)에 주둔하였다. 평소 조조와의 결전을 반대하던 저수는, 원소를 따라가기에 앞서 문중의 사람들을 모아놓고 재산을 나누어 주며 말하였다.
"위엄이 갈수록 더해지나 내 몸 하나 보전할 수 없으니, 애석하구나!"
이에 저종이 말하였다.
"조조는 반드시 패할 것인데, 형님께서는 어찌하여 걱정을 하십니까?"
저수가 대답하였다.
"조연주(曹兗州 : 조조)는 계략에 뛰어나고 천자를 보호하고 있다. 우리는 막 백규(伯珪 : 공손찬)를 물리쳤기 때문에 사졸들은 피로에 지쳤으니 어찌 지지 않을 수 있겠느냐!"
가계 > 관련 인물

저곡　저수
독발오고

| 독발오고 禿髮烏孤 |
| --- | --- |
사망: 399년
성별: 남성
직업: 군주
활동 기간: 397년 ~ 399년
소속: 남량
독발오고(禿髮烏孤, ? ~ 399년, 재위：397년 ~ 399년)는 중국 오호 십육국 시대 남량(南凉)의 초대 군주이다. 묘호는 열조(烈祖), 시호는 무왕(武王)이다.
생애

독발오고는 선비족 독발부 출신으로 아버지는 독발사복건(禿髮思復鞬)이다. 독발부는 대대로 양주(凉州) 남부(칭하이성 북동부)에서 거주하였는데 380년대에 후량(後凉)이 건국되자 이에 대항하였다. 당시 양주에는 전량(前凉)의 장씨(張氏) 왕가 출신이었던 장대예(張大豫)가 후량에 맞서 난을 일으켰는데 독발부는 이를 지원하였다. 그러나 387년에 장대예의 난이 진압되자 독발부는 세력이 약화되었다. 394년에 독발사복건이 죽자 독발오고가 독발부의 수장이 되었다.
독발오고는 후량의 작위를 받아 관군대장군·하서선비대도통(冠軍大將軍·河西鮮卑大都統)에 임명되었다. 395년에는 칭하이 성의 황수(湟水)유역으로 공격해 들어가 선비족 을불부(乙弗部), 절굴부(折掘部)를 무너뜨리고 염천보(廉川堡)를 쌓아 근거지로 삼았다. 396년에 후량의 여광이 대량천왕(大凉天王)에 즉위하자 독발오고는 이에 반발해 후량의 관직을 받지 않고 독립하였다. 397년, 독발오고는 서평왕(西平王)을 자칭하고 후량을 공격하여 금성(金城)을 점령하였다. 일반적으로 이때부터 남량이 건국된 것으로 본다.
이 무렵 후량의 양주에서는 반란이 잇따라 북량(北凉)이 건국되고 수도 고장(姑臧)에서는 곽논(郭黁)이 봉기하는 등 극심한 혼란 상태에 있었다. 독발오고는 곽논의 봉기에 호응하여 원군을 파견하였으며, 398년에는 서평(西平) 지역의 강족 양기(梁饑)를 격파하여 세력을 확대하였다. 12월에는 무위왕(武威王)을 자칭하였다. 399년, 독발오고는 수도를 낙도(樂都;현재 청해성 낙도현)로 옮기고 후량과 대립하였으나 6월, 술에 취해 낙마하여 사망하였다.
왕쌍

| 왕쌍 王雙 |
| --- | --- |
사망: 228년
성별: 남성
국적: 위나라
직업: 장수
왕쌍(王雙, ? ~ 228년)은 중국 삼국시대 위나라의 장수이다.