stanford-oval/wikipedia huggingface dataset:
2005년 FIFA U-17 세계 축구 선수권 대회
수상

| 아디다스 골든 볼 | 아디다스 실버 볼 | 아디다스 브론즈 볼 |
| --- | --- | --- |
|  안데르송 |  히오바니 도스 산토스 |  누리 샤힌 |
| 아디다스 골든 부트 | 아디다스 실버 부트 | 아디다스 브론즈 부트 |
|  카를로스 벨라 |  누리 샤힌 |  테브피크 쾨세 |
5골 (0 어시스트): 4골 (0 어시스트)
FIFA 페어 플레이상
 조선민주주의인민공화국
| v t eFIFA U-17 월드컵 |
| --- | --- |
본선:  1985년 중국  1987년 캐나다  1989년 스코틀랜드  1991년 이탈리아  1993년 일본  1995년 에콰도르  1997년 이집트  1999년 뉴질랜드  2001년 트리니다드 토바고  2003년 핀란드  2005년 페루  2007년 대한민국  2009년 나이지리아  2011년 멕시코  2013년 아랍에미리트  2015년 칠레  2017년 인도  2019년 브라질  2021년 페루  2023년 인도네시아 
예선:  AFC  CAF  CONCACAF  CONMEBOL  OFC  UEFA 
선수 명단:  1985년  1987년  1989년  1991년  1993년  1995년  1997년  1999년  2001년  2003년  2005년  2007년  2009년  2011년  2013년  2015년  2017년  2019년
알아마디주

알아마디주(아랍어: الاحمدي)는 쿠웨이트 남부에 위치한 주로 주도는 알아마디이며 면적은 5,120km2, 인구는 637,411명(2007년 기준)이다.
동쪽으로는 페르시아만과 접하며 남쪽으로는 사우디아라비아와 국경을 접한다. 북서쪽으로는 알자라주, 북쪽으로는 무바라크알카비르주, 알파르와니야주와 접한다. 1940년대에 석유가 발견된 이후에 성장했다.
| v t e쿠웨이트의 행정 구역 |
| --- | --- | --- |
|  알아마디주  수도주  알파르와니야주  알자라주  하왈리주  무바라크알카비르주  |  알아마디주  수도주  알파르와니야주  알자라주  하왈리주  무바라크알카비르주  |  |
Ayu-mi-x

《Ayu-mi-x》는 1999년 3월 17일에 발매된 하마사키 아유미의 음반이다. 에이벡스 트랙스에 의해 발매되었다.
곡 목록

전체 작사: Ayumi Hamasaki
| # | 제목 | 작곡 | 편곡 | 재생 시간 |
| --- | --- | --- | --- | --- |
| 1. | Poker Face (Spiritual Guidance Mix) | Yasuhiko Hoshino | Akimitsu Honma | 6:29 |
| 2. | Hana (D-Z Deadly Rose Approach) | Hoshino | Hoshino | 6:57 |
| 3. | Signal (Y & Co. Taste) | Hideaki Kuwabara | Honma | 5:08 |
| 4. | Depend on You (Dub's Electro Remix) | Kazuhito Kikuchi | Honma | 4:46 |
| 5. | Friend II (Make My Mad Mix) | Mitsuru Igarashi | Igarashi | 6:29 |
| 6. | Hana (Dub's Trance Remix) | Hoshino | Hoshino | 6:43 |
| 7. | Powder Snow (Dub's Sentimental Remix) | Kuwabara | Honma | 4:44 |
| 8. | Trust (Groove that Soul Mix) | Takashi Kimura | Honma Kimura | 5:08 |
| 9. | Signal (Groove that Soul Mix) | Kuwabara | Honma | 5:08 |
| 10. | As If... (DJ-Turbo Wish Mix) | Kikuchi | Honma | 5:08 |
| 11. | You (Masters of Funk R&B Remix) | Hoshino | Honma | 5:08 |
| 12. | From Your Letter (DJ Hasebe Remix) | Akio Togashi | Togashi | 5:08 |
| 13. | Two of Us (Rub Delight Mix) | Kikuchi | Honma Takashi Morio | 5:08 |
| 14. | A Song for ×× (Dub's Loverdub Remix) | Hoshino | Hoshino | 5:08 |
Earth A.D./Wolfs Blood

《Earth A.D./Wolfs Blood》는 1983년 12월에 발매된 미스피츠의 음반이다.
곡 목록

전체 작사·작곡: Glenn Danzig
| # | 제목 | 재생 시간 |
| --- | --- | --- |
| 1. | Earth A.D. | 2:09 |
| 2. | Queen Wasp | 1:32 |
| 3. | Devilock | 1:26 |
| 4. | Death Comes Ripping | 1:53 |
| 5. | Green Hell | 1:53 |
| # | 제목 | 재생 시간 |
| --- | --- | --- |
| 1. | Wolfs Blood | 1:13 |
| 2. | Demonomania | 0:45 |
| 3. | Bloodfeast | 2:29 |
| 4. | Hellhound | 1:16 |
| 총 재생 시간: | 총 재생 시간: | 14:36 |
| # | 제목 | 재생 시간 |
| --- | --- | --- |
| 1. | Earth A.D. | 2:09 |
| 2. | Queen Wasp | 1:32 |
| 3. | Devilock | 1:26 |
| 4. | Death Comes Ripping | 1:53 |
| 5. | Green Hell | 1:53 |
| 6. | Mommy, Can I Go Out and Kill Tonight? | 2:03 |
| 7. | Wolfs Blood | 1:13 |
| 8. | Demonomania | 0:45 |
| 9. | Bloodfeast | 2:29 |
| 10. | Hellhound | 1:16 |
| 11. | Die, Die My Darling | 3:11 |
| 12. | We Bite | 1:15 |
| 총 재생 시간: | 총 재생 시간: | 21:11 |
평가

| 전문가 평가> 평가 점수.출처 | 전문가 평가> 평가 점수.점수 |
| --- | --- |
AllMusic:
보조상

상법이 제도화한 보조상으로는 대리상•중개인•위탁매매인•운송주선인이 있다. 이 중 운송주선인은 주선의 대상인 운송으로 특정되어 있다는 점이 특색일 뿐 기본적으로 周旋業(주선업)이라는 점에서 위탁매매인과 같다. 그러나 나머지 3자간에는 본질적인 차이가 있다.
다른 상인을 보조하는 방법이 다르다. 대리상은 대리 또는 중개에 의해, 중개인은 중개에 의해, 위탁매매인은 자기 명의로 매매함으로써 각각 다른 상인의 영업활동을 보조하는 것이다.
중개대리상과 중개인은 다같이 거래의 중개를 보조한다는 점에서 공통되지만, 중개대리상은 일정한 상인을 위해서 계속적으로 중개를 함에 반해, 중개인은 불특정•다수인을 위하여 중개를 한다.
대리상의 경우 일정한 상인을 본인으로 하여 그와 대리 또는 중개의 인수를 함으로써 비로소 대리상의 자격을 취득하지만, 중개인과 위탁매매인은 불특정•다수인을 상대로 하므로 사전에 스스로 중개인 또는 위탁매매인의 자격을 가지고 상인이 되는 것이다.
대리상은 그 상인과의 이익충돌 방지를 위해 경업피지의무를 부담하지만 중개인과 위탁매매인은 경업피지 의무를 갖지 않는다.
3가지 보조상의 특성이 위와 같이 상이하므로 관련법규도 입법의 초점을 달리한다. 대리상의 경우에는 본인과 대리상의 이해의 조정이 초점을 이루나, 중개인의 경우에는 중개된 거래의 원만한 이행을 확복하는데 초점이 두어지고, 위탁매매의 경우 거래의 안전과 위탁자의 이익을 보호하는데 중점을 둔다.
알맹

| 알맹 Almeng > 기본 정보 |
| --- | --- |
장르: R&B, 팝, 힙합
레이블: 스톤뮤직 엔터테인먼트 (CJ E&M) 지니뮤직  NHN벅스
소속사: 투엘슨 엔터테인먼트
구성원
최린 이해용
알맹(Almeng)은 대한민국의 혼성 듀오이다. 2013년 《K팝 스타 3》에 참여하여 TOP6를 하였다. 2014년 4월 9일 드라마 《쓰리 데이즈》의 OST 곡 "잊자..."를 발매하였으며, 같은 해 10월 21일 EP compoSing of Love를 발매하였다.
개인 앨범 > 미니 앨범 (EP)

2014.10.21《compoSing of Love》
개인 앨범 > 싱글 앨범

2015.02.16《Yes I Do》
개인 앨범 > 참여 앨범 > K팝스타 시즌3

2014.03.02 송창식 <담배가게 아가씨> (TOP10 Part.1)
2014.03.16 패닉 <정류장> (TOP8)
2014.03.23 싸이 <청개구리> (TOP6)
개인 앨범 > 참여 앨범 > OST

2014.04.09 SBS 드라마 쓰리 데이즈 OST - 알맹 <잊자...>
관련 영상 > 뮤직 비디오

2014년 알맹 - Phone in Love
2014년 알맹 - 반시간
2015년 알맹 - Yes I Do
관련 영상 > 라이브

2014년 알맹 - Lost stars (정준영의 심심타파)
2014년 알맹 - Phone in love (두시탈출 컬투쇼)
후쿠무라 다카유키

후쿠무라 다카유키(1991년 12월 22일 ~ )는 일본의 축구 선수이다. 현재 J3리그의 FC 류큐에서 뛰고 있다.
애쉬 크림존

| --- | --- |
《더 킹 오브 파이터즈》의 등장인물
첫 등장: 더 킹 오브 파이터즈 2003
정보
애쉬 크림슨은 더 킹 오브 파이터즈 2003에서부터 등장하는 캐릭터이다.
프로필

격투 스타일 : 아류(특수한 불꽃 사용)
출생일 : 1987년 2월 14일(16세)
출신지 : 프랑스로 추정됨
신장 : 178 cm
체중 : 59 kg
혈액형 : O형
중요한것 : 자신의 손톱
취미 : 네일 아트
좋아하는 것 : 자하 토르테, 단 음식
싫어하는 것 : 성가신 일, 흥미 없는 것
잘하는 스포츠 : 없음 (귀찮아서 싫다)
특징

《더 킹 오브 파이터즈 2003》 에서부터 등장한다. KOF의 3번째 스토리 애쉬편(2003~)의 주인공이다. 초록색의 화염을 이용해 전투를 하는 안티 히어로로, 일반적인 히어로상의 범주를 벗어난 수수께끼에 쌓인 분위기를 가졌다. 화염의 색은 쿠사나기 쿄의 붉은색 , 야가미 이오리의 청자색에 대항하는 것으로 되어 있다. 언동이나 태생에 불명한 점이 많지만, 확실한 것은 그가 기분나쁘다는 것이다. 담당 성우는 '나가시로 소노스케(長代聰之助)'.
서양의 지구 의사인 '머나먼 대지에서 온 자'들과 적대시 하고 있어서, 어떠한 사명을 가지고 있는 것 같지만, 그 사명은 잊었다고 단언하였다. 어째서인지 삼신기의 능력을 집요하게 노리고 있다. KOF2003에 참가를 한 이유도 어느정도 예상이 가지만, 최대의 참가 목적은 삼신기의 탈취. kof 2003에서는 셴 우와 듀오론과 , kof XI에서는 셴 우와 오스왈드와 팀을 짰다. 셴 우와는 홍콩에 머물고 있었을 때에 알게 된 것 같지만, 듀오 론과의 관계와 kof XI에서 팀을 떠난 이유는 불명. 오스왈드와는 개인적으로는 아니고, 업무나 가족의 일로 어떠한 접점이 있던 것이라고 생각되며 보수로 그가 찾고 있는 약 용환(竜丸)의 정보를 제공하는 것을 조건으로 팀으로 맞이하고 있는 상태이다. 또한 kof11부터 등장하는 엘리자베트와는 소꿉친구로 꽤 친한 관계이며, 그녀를 '베티'라고 부르고 있다. 애쉬도 엘리자베트와 같은 사명을 띄고 있는 모양이지만, XI의 엔딩에서는 아무렇지도 않게 그녀를 배반했다.
2003에서 카구라 치즈루로부터 '지키는 힘'인 야타의 거울을 빼앗아 오로치의 봉인을 해제했으며, XI에서는 마가키와의 싸움 후 오로치의 봉인 해제의 영향으로 이오리가 폭주한 틈을 타 '봉하는 힘'인 야사카니의 곡옥의 청자색의 화염마저 빼앗았다. 유일하게 남은 삼신기인 쿄의 쿠사나기의 검마저 노리고 있는 것 같지만, 당시 정신을 잃고 있던 쿄의 힘을 빼앗지 않고 그냥 떠난 것으로 보아, 엘리자베트를 속이기 위한 거짓말로 짐작된다.
KOF 2003의 보스인 카구라 마키, 무카이나 XI의 보스인 마가키와의 대화로 보았을땐 '머나먼 대지에서 온 자들'과도 관계가 있는 모양이지만, 그것에 대한 것은 아직 수수께끼이다. 다만 더 킹 오브 파이터즈 13(XIII)의 보스인 '사이키'와 외모가 닮아, 혈연관계이거나 동일 인물이 아니냐는 추측이 나돌고 있었고 이후 애쉬의 1000년 전의 선조라는 사실이 밝혀진다. 평소 상대방에게는 '너'라고 부르지만, 무카이와의 대사에선 "번거로워, 당신.."이라고 드물게도 감정적인 발언을 했다.
《KOF XIII》에서는 피의 나선에 미친 애쉬라는 이름으로 최종보스로 등장한다. 애쉬 크림슨이 자신의 조상인 사이키를 기습했다가 역으로 사이키에게 육체를 빼앗기면서 변신한 모습이다. 공식사이트에 개재된 영문 이름은 이블 애쉬(Evil Ash). 외모는 애쉬 크림슨의 도트그래픽에 검은불꽃 이펙트가 씌워진 형태. 그리고 애쉬와 사이키 두명의 보이스가 겹쳐 다소 섬뜩한 느낌으로 바뀌었다. 애쉬의 기술체계를 그대로 가지고 있으나 모든 필살기류의 판정과 데미지가 강화되어 매우 강력하다. 애쉬의 모든 EX 필살기들을 파워게이지 없이 사용할 수 있으며 버프계열 초필살기인 상 퀼로트는 사이키의 초필살기보다도 발동이 빠른 전체화면 초필살기가 되었다. 가정용에선 장풍의 속도가 느려진 대신 이펙트를 새로 만들어 범위가 넓어졌다.
생애 > 진정한 목적

다른 '머나먼 대지에서 온 자들'과 공모를 하는듯한 모습을 보여 주인공답지않은 악역의 모습을 보였으나, 그것은 모두 연기. 오히려 그들을 막으려는 목적으로 2가지의 삼신기를 빼앗은 것이다. 게다가 '머나먼 대지에서 온 자들'을 이끄는 리더는 놀랍게도 애쉬의 1000년 전 선조인 '사이키'로 그의 힘인 시간을 조작하는 능력을 이용해
1000년 전 과거에서 현재로 온 것이며,
오로치의 힘을 얻어 다시 과거로 되돌아 가려는 목적을 가지고 있었다. 먼 과거에서 인간들과의 전쟁에서 엘리자베트 가문에게 패배했었기 때문에, 현재로 피신한 후 킹오브파이터즈를 통해 오로치의 힘을 해방시킨뒤 손에넣어 다시 과거로 돌아가 인간들을 모두 멸종시키려고 한 것. 과거의 인간들이 멸종하면 당연히 현재의 인류도 멸종하기 때문에, 애쉬는 그것을 막으려고 했던 것이다. KOF XIII 대회가 우승자 발표까지 치닫자, 사이키는 자신의 능력으로 시간을 멈춰버리고, 동료들에게 과거로 가는 시공의 문을 여는 의식을 진행시켰다. 다만 무카이가 그것을 거절하고 엘리자베트팀한테 달려들려 하자, 사이키는 단지 자신의 말을 듣지 않았다는 이유만으로 무카이를
죽여버리고 전투형태로 변신한다음 엘리자베트 팀한테 도전했지만 실패. 심지어 그 상황에 애쉬의 이간질이 넘어간 리멜로와 슈룸에 의해 시간의 문이 서서히 닫히기 시작하고, 그 때문에 당황한 사이키의 뒤를 애쉬가 급습해 야타의 거울의 힘으로 사이키의 영혼과 힘의 원천인 검은불꽃을 빼앗아 흡수했다. 하지만 쿠사나기의 검이 없어서 그런지 야타의 거울의 힘으로도 매우 강한 사이키의 힘을 제어할 수가 없어, 애쉬는 오히려 사이키의 정신에 지배 당하고 만다. (피의 나선에 미친 애쉬)
진행하던'머니먼 대지에서 온 자들'은 그 검은 힘의 폭주에 휘말려 모두 소멸된다. 애쉬의 몸을 지배했지만 엘리자베트에게
패배하고 시간의 흐름을 이기지 못해 소멸위기에 처한 사이키는 애쉬에게 시간의
문 안으로 들어가라고 명령하지만 애쉬는 현재세계가 맘에 들었다고 하면서 그 명령을 듣지 않았다. 결국 시간의 문은 닫혀버리고 사이키는 발악을 하다 타임 패러독스로 소멸하게 되고, 그의 후손인 애쉬도 함께 소멸한다.
생애 > 애쉬의 최후

사이키와의 중간보스전 직후, 사이키의 목적인 '과거와 현대시대를 잇는 문'이 도로 닫히기 시작하였고 예상외의 사태에 당황한 사이키를 애쉬가 기습하여 쓰러뜨린다. 그 후 사이키를 흡수하면서 애쉬의 승리로 일단락된 듯 했으나 오히려 사이키가 애쉬의 육체를 지배하게 되고 애쉬의 힘과 애쉬가 가지고 있던 삼신기의 힘까지 동시에 손에넣어 오히려 더 강력한 모습으로 부활하여 최종보스로 등장하게 된다. KOF XIII의 패키지 뒷면에 적혀있는 공식 캐치프레이즈 '에메랄드빛 불꽃이 암흑으로 물들다'는 바로 피의 나선에 미친 애쉬를 나타낸것. 가정용의 인트로 무비에도 로고가 나오기 직전 최후반부에 잠깐 등장한다.
사이키가 애쉬를 잠식하면서 일어난 폭발로 인해 주변이 새하얗게 변하고, 닫혀가는 시간의 문 앞에서 애쉬를 되찾으러 온 엘리자베트와 최후의 결전을 벌이게 된다.
결전끝에 엘리자베트의 노력으로 잠식되었던 애쉬의 의식이 깨어났으나, 사이키는 그럼에도 불구하고 시간의 문으로 강제로 건너가려고 한다.애쉬는 자신의 몸에 잠식한 사이키를 쓰러뜨릴 최후의 수단으로 문이 닫히는 순간까지 통과하지 않고 버티어 타임패러독스로 동시에 소멸하는 쪽을 선택한다. 조상인 사이키가 먼저 사라지고 난 잠깐의 시간동안 엘리자베스에게 작별인사를 한 뒤 애쉬 역시 존재자체가 사라지게 된다.
흔히 타임패러독스현상이라고 하여, 만약 조상이 사라져 버리면 역사상에 "없는존재"가되어 그 후손 또한 태어나지 않은 존재가 되어 사라져 버린다. 이와 마찬가지로 애쉬는 1000년 전 선조인 사이키가 소멸함으로써 1000년 전에 존재 했던 조상이 소멸하면 그 후손들의 대와 역사가 사라져버려 애초에 존재하지 않던 것이 되어버린다.
애쉬는 자신의 조상인 사이키가 소멸해버렸기 때문에, 엘리자베트에게 마지막 인사를 하고 그 존재가 사라져 버렸다. 태어나지 않은 존재가 되어버린 애쉬가 했던 일도 없던 것이 되어버려, 시간의 틈새에 있던 엘리자베트를 제외한 사람들은 그의 존재마저 기억하지 못하게 되고, 신기를 잃었던 카구라 치즈루와 야가미 이오리또한 신기를 되찾으면서 애쉬 스토리는 막을 내린다.
미도리역 (기후현)

| 미도리 |
| --- | --- |

ko
개괄
관할 기관 : 다루미 철도
소재지 :  일본 기후현 모토스시
좌표 : 북위 35° 37′ 3.14″ 동경 136° 37′ 14.74″﻿ / ﻿북위 35.6175389°  동경 136.6207611° ﻿ / 35.6175389; 136.6207611
개업일 : 1989년 3월 25일
승강장수 : 1면 1선
거리표
다루미 철도 ■ 다루미 선
오가키 기점 32.5km
   ← 다카오  (2.0 km)  다루미 → (2.0 km)
     
미도리역(일본어: 水鳥駅)은 일본 기후현 모토스시에 위치한 다루미 철도 다루미 선의 철도역이다. 단선 승강장 1면 1선의 구조를 갖춘 지상역이다.
역 주변

국도 제157호선
역사

1989년 3월 25일 : 다루미 선 고미 ~ 다루미 간 연장에 의해 개업과 동시에 신설.
1991년 10월 18일 : 임시 열차나 JR 환승 열차의 정차에 대응해, 승강장 길이를 25m부터 110m로 연장됨.
인접 역

| 다루미 철도 다루미 선 |
| --- | --- | --- |
| 다카오 오가키 방면 | ■ 다루미 선 | 다루미 다루미 방면 |
| v t e다루미 철도 다루미선 |
| --- | --- |
오가키 - 히가시오가키 - 요코야 - 주쿠조 - 미에지 - 기타가타마쿠와 - 모레라기후 - 이토누키 - 모토스 - 오리베 - 고치보라 - 다니구미구치 - 고미 - 다카시나 - 나베라 - 히나타 - 다카오 - 미도리 - 다루미
미스 유니버스 1972

미스 유니버스 1972는 1972년 7월 29일 푸에르토리코 도라도의 세로마 비치 호텔에서 열린 제21회 미스 유니버스 대회이다. 61명의 참가자가 왕관을 놓고 경쟁했다.
최종 결과

| 득점결과 | 참가자 |
| --- | --- |
미스 유니버스 1972:   호주 –  케리 앤 웰스 
2위:   브라질 –   레제인 코스타
3위:   베네수엘라 –    마리아 안토니에타 캄폴리
4위:   이스라엘 –  일라나 고렌
5위:   잉글랜드 –  제니퍼 맥아담
Top 12:   벨기에 – 앤-마리 로저   독일 - 하이데마리 베버   인도 –   루파 사티얀   일본 –  마에다 하루미   페루 –  카르멘 아멜리아 암푸에로   필리핀 – 아르미 바바라 크레스포   미국 -  타냐 윌슨
최종 결과 > 특별상

| 수상 | 참가자 |
| --- | --- |
미스 상냥함:   자이르 –  	옴바이 무쿠타
미스 포토제닉:   벨기에 – 앤 마리 로저
최고의 민족의상:   페루 – 카르멘 암푸에로
| v t e미스 유니버스 |
| --- | --- |
 1952  1953  1954  1955  1956  1957  1958  1959  1960 
 1961  1962  1963  1964  1965  1966  1967  1968  1969  1970 
 1971  1972  1973  1974  1975  1976  1977  1978  1979  1980 
 1981  1982  1983  1984  1985  1986  1987  1988  1989  1990 
 1991  1992  1993  1994  1995  1996  1997  1998  1999  2000 
 2001  2002  2003  2004  2005  2006  2007  2008  2009  2010 
 2011  2012  2013  2014  2015  2016  2017  2018  2019  2020 
 2021  2022  2023  2024  2025  2026  2027  2028  2029  2030
무학여자고등학교

이 문서는 대한민국 서울특별시에 있는 학교에 관한 것입니다. 대한민국 경상남도 창원시에 있는 학교에 대해서는 마산무학여자고등학교 문서를 참고하십시오.
| 무학여자고등학교 舞鶴女子高等學校 Muhak Girls' High School |
| --- | --- |

교훈: 지성
개교: 1940년
설립형태: 공립
교장: 강연흥
국가:  대한민국
위치: 서울특별시 성동구 고산자로 197 (행당동)
학생 수: 521 명 (2023년 5월 1일 기준)
교직원 수: 71 명 (2023년 5월 1일 기준)
상징: 교목: 소나무, 교화: 목련
관할관청: 서울특별시교육청
웹사이트: http://muhak.sen.hs.kr
ko
무학여자고등학교(舞鶴女子高等學校)는 대한민국 서울특별시 성동구 행당동에 위치한 공립 고등학교이다.
학교 연혁

1940년 3월 30일 : 경성 무학 공립고등학교 설립 인가
1940년 4월 20일 : 개교식 거행(1학년 160명 입학), 경성 종로소학교 일부 사용
1941년 4월 1일 : 성동구 행당동 새 교사로 이전
1944년 3월 20일 : 제1회 졸업식 거행(4년제)
1945년 10월 1일 : 서울무학공립여자중학교로 개교(6년제), 차사백 초대 교장 취임
1951년 12월 31일 : 학사개정으로(3년제) 성동여자중학교(무학여중)와 무학여자고등학교로 분리 명명
1968년 10월 1일 : 중학교 평준화에 따라 무학여자고등학교와 무학여자중학교로 분리
1974년 3월 2일 : 고교 평준화에 따라 36학급 인가, 32학급 편성
1977년 7월 23일 : 본관 개축 준공(지상 4층 27교실, 1층 7교실)
1978년 4월 30일 : 강당 개축 준공
1983년 12월 5일 : 신사임당 동상 건립 및 청학기념관 개관
2002년 5월 30일 : 종합정보센터 준공
2008년 2월 29일 : 본관 및 무학관 리모델링
2008년 11월 26일 : 학생식당 개관
2010년 3월 2일 : 서울특별시교육청 지정 교과교실 연구학교 운영
2023년 2월 3일 : 제78회 졸업 197명(총 졸업자수 35,495명)
2023년 3월 1일 : 제21대 강연흥 교장 취임
2023년 3월 2일 : 제81회 입학 202명
이 목록은 아직 미완성입니다. 여러분이 하여 채워 주세요.
학교 동문

분류:무학여자고등학교 동문  문서를 참고하십시오.
참고 자료

무학여자고등학교 - 한국교육학술정보원 학교알리미
사건 사고

1994년 성수대교 붕괴사고 당시 무학여자고등학교 학생 8명과 무학중학교 여학생 1명 그외 있다.
배천선

배천선(白川線)은 황해남도 해주시의 장방역을 기점으로 배천군에 있는 은빛역까지 잇는 철도노선이다. 원래는 토해선으로 협궤로 건설되었지만, 토성역에서 백천에 이르는 구간은 폐지되었으며, 구해주선과 접속하여 해주역에 이르는 구간은 황해청년선에 편입되었다.
노선 정보

구간과 거리 : 장방역―은빛역
역 수 : 11개(양단역 포함)
궤도 간격 : 1435mm
전철화 구간 : 장방역―청단역 구간(직류 3000V)
복선 구간 : 없음
노선 정보 > 덕달지선(폐선)

역 목록 : 청단(靑丹)-화양(花陽)-덕달(德達)
상기의 역은 전부 황해남도 청단군에 있었다.
역목록

| 역명 | 로마자 역명 | 한자 역명 | 접속 노선 |
| --- | --- | --- | --- |
| 해주청년 | Haeju Ch'ŏngnyŏn | 海州靑年 | 옹진선 |
| 장방 | Changbang | 長芳 | 황해청년선 |
| 갈산 | Kalsan | 葛山 |  |
| 청단 | Ch'ŏngdan | 靑丹 |  |
| 천태 | Ch'ŏnt'ae | 天臺 |  |
| 풍천 | P'ungch'ŏn | 楓川 |  |
| 오현 | Ohyŏn | 梧玄 |  |
| 연안 | Yŏnan | 延安 |  |
| 온정 | Onjŏng | 溫井 |  |
| 홍현 | Honghyŏn | 紅峴 |  |
| 배천 | Paech'ŏn | 白川 |  |
| 은빛 | Ŭnbit | 銀빛 |  |
미셸 세로

| 미셸 세로 Michel Serrault  |
| --- | --- |
1997년 칸 영화제에서
본명: 미셸 뤼시앵 세로 Michel Lucien Serrault
출생: 1928년 1월 24일(1928-01-24) 프랑스 브뤼누아
사망: 2007년 7월 29일(2007-07-29)(79세) 프랑스 칼바도스 옹플뢰르
국적:  프랑스
직업: 배우
배우자: 우아니타 생페롱 (1958-세로 본인의 사망)
자녀: 카롤린 세로 (딸) 나탈리 세로 (딸)
미셸 세로(Michel Serrault, 1928년 1월 24일 ~ 2007년 7월 29일)는 프랑스의 영화배우, 연극 배우이다.
브뤼누아에서 태어났으며 옹플뢰르에서 사망하였다. 사인은 암이다.
출연 작품

디아볼릭 (1955)
Cette sacrée gamine (1956)
살인자와 도둑 (1956, Assassins et Voleurs)
프랑스 여인과 사랑 (1960, La Française et l'Amour)
La Belle Américaine (1961)
Nous irons à Deauville (1962)
Carambolages (1963)
Des pissenlits par la racine (1964)
남자를 좇는 여인 (1964, La Chasse à l'homme)
왕이 된 사나이 (1966, Le Roi de cœur)
Le Viager (1972)
크레이지 보이 - 슈퍼마켓 소동 (1973, Le Grand Bazar)
크레이지 보이 - 신병 대행진 (1974, Les bidasses s'en vont en guerre)
손수건을 꺼내라 (1978)
새장 속의 광대 (1978)
차가운 찬장 (1979)
동업자 (1979, L'Associé)
타인의 입 (1979, La Gueule de l'autre)
동전 놀이 (1980, Pile ou Face)
Malevil (1981)
운명의 알리바이 (1981)
Les Fantômes du chapelier (1982)
데들리 런 (1983, Mortelle Randonnée) - 아이 역
우리는 두 번 죽지 않는다 (1985, On ne meurt que deux fois)
이노센스 (1987, En toute innocence)
분노는 오렌지처럼 파랗다 (1988, Ne réveillez pas un flic qui dort)
사랑의 코미디 (1989, Comédie d'amour)
늙은 악당 (1992, Vieille Canaille)
넬리 앤 아르노 (1995)
행복은 초원에 (1995, Le bonheur est dans le pré)
보마르셰 (1996, Beaumarchais, l'insolent)
암살자 (1997, Assassin(s))
사기 (1997)
아르테미시아 (1997, Artemisia) - 오라지오 역
와인이 흐르는 강 (1999)
봄을 전하는 제비 (2000, Une hirondelle a fait le printemps)
배우들 (2000, Les Acteurs)
쁘띠 마르땅 (2000, Le Monde de Marty)
벨파고 (2001)
버터플라이 (2002, Le Papillon) - 줄리앙 역
여성 삶의 24시 (2002, Vingt-quatre Heures de la vie d'une femme)
메리 크리스마스 (2005)
비발디 (2006, Antonio Vivaldi, un prince à Venise)
죽음의 씨앗 (2007, Pars vite et reviens tard)
버킷헤드경

| 버킷헤드경 Lord Buckethead |
| --- | --- |
《하이퍼스페이스》의 등장인물

첫 등장: 《하이퍼스페이스(영어판)》(1984)
창작자: 토드 더럼(영어판)
정보
버킷헤드경(Buckethead卿, Lord Buckethead)은 영국에서 정치 풍자(영어판) 활동을 하는 캐릭터로, 영국 총선에 4번 출마했다.
역사

버킷헤드경은 토드 더럼(영어판) 감독의 미국 영화 《하이퍼스페이스(영어판)》(1984)에 등장하는 악역이다. 《하이퍼스페이스》는 《스타워즈》와 같은 SF 영화들의 패러디로, 버킷헤드경은 다스 베이더와 비슷하게 생겼다. 영국에서는 VIPCO라는 비디오 유통 업체가 수입해서 ‘그렘로이즈(Gremloids)’라는 제목으로 출시했다.
1987년 영국 총선에서 VIPCO의 대표 마이크 리(Mike Lee)가 버킷헤드경으로 분장하고 마거릿 대처 당시 총리의 지역구 핀츨리(영어판)에 그렘로이즈당 후보로 출마했다. 그는 버밍엄을 파괴하여 그 자리에 우주기지를 짓겠다는 공약을 내세웠다. 1992년 총선에서는 존 메이저 당시 총리의 선거구인 헌팅던에 출마했다.
2017년 총선에는 희극인 조너선 하비(Jonathan Harvey)가 버킷헤드경으로 분장해 테레사 메이 당시 총리의 지역구 메이든헤드에서 출마했다. 테레사 메이와 같이 서있는 버킷헤드경의 모습이 바이럴 영상이 되었다. 〈가디언〉은 시팩스를 부활시키겠다는 버킷헤드경의 공약에 풍자를 담아 ‘최고 정책’상을 주었다.
2019년 총선에서는 데이비드 휴스(David Hughes)가 버킷헤드경으로 분장해 보리스 존슨 당시 총리의 지역구 억스브리지 사우스라이슬립에 오피셜몬스터레이빙루니당(영어판) 후보로 출마했다. 이 선거에서 조너선 하비는 새로운 캐릭터 빈페이스 백작(영어판)의 모습으로 출마했다.
같이 보기

장난 정당
발지르 페헤이라

발지르 페헤이라(포르투갈어: Waldyr Pereira, 1928년 10월 8일 ~ 2001년 5월 12일)는 지지(포르투갈어: Didi)로 잘 알려진 브라질의 전 축구 선수로, 현역 시절 포지션은 중앙 미드필더였다.
지지는 선수 생활의 대부분을 브라질에서 보냈다. 그가 유럽에서 뛴 것은 레알 마드리드 CF에서의 2년 뿐인데, 그는 이 시기에 유러피언 컵 정상에 두 번이나 올랐다.
또한 브라질 축구 국가대표팀으로도 1954년 FIFA 월드컵, 1958년 FIFA 월드컵, 1962년 FIFA 월드컵 세 번의 월드컵에 출전했으며, 이 중 뒤의 두 번의 월드컵에서 정상에 올랐다. 특히 1958년 대회에서 지지는 매우 뛰어난 활약을 보이면서 이후 골든 볼이 만들어졌을 때 해당 대회의 수상자로 이름을 올렸다. 그리고 이 우승은 현재까지 유일하게 남미 팀이 유럽에서 열린 대회에서 정상에 오른 대회이다.
수상 > 보타포구

캄페오나투 카리오카 : 1957, 1961, 1962
토르네이우 리우-상파울루 : 1962
수상 > 플루미넨시

캄페오나투 카리오카 : 1951
코파 리우 : 1952
수상 > 레알 마드리드

유로피언컵 : 1959-60
라몬 데 카란사 트로피 : 1959
수상 > 브라질

FIFA 월드컵 : 1958, 1962
코파 오스발도 크루즈 : 1955, 1958, 1961, 1962
오이긴스컵 : 1955, 1961
팬 아메리칸 게임 : 1952
아틀란틱컵 : 1956
수상 > 개인

브라질 축구 박물관 명예의 전당
발롱도르 드림팀 브론즈 : 2020
IFFHS 선정 20세기 브라질 선수 7위
IFFHS 선정 20세기 최고의 선수 19위
IFFHS 선정 남아메리카 역대 베스트
| v t e페네르바흐체 SK 감독 |
| --- | --- |
 달라클르 (1907–10)  쿨락스졸루 (1910–15)  카야잔 (1915–21)  엘카티프자데 (1921–24)  코샤르 (1924–26)  모주크 (1926–29)  차카르 (1929–32)  슈벵 (1932–35)  엘리엇 (1935–38)  슈벵 (1938–39)  네메스 (1939–40)  프레이어 (1940–44)  디미트로풀로스 (1944–45)  아르잔 (1945–47)  몰나르 (1947–48)  아르만 (1948–49)  몰로이 (1949–51)  매코미크 (1951)  셰켈리 (1951–53)  미하일로비치 (1953–55)  머르코스 (1955)  아르잔 (1955–56)  셰켈리 (1956–57)  몰나르 (1957–60)  셰켈리 (1960–62)  에르뎀 (1962)  코코토비치 (1962–64)  홀드 (1964–65)  토르칼 (1965)  에르뎀 (1965–66)  게기치 (1966–67)  몰나르 (1967–69)  이오네스쿠 (1969–70)  테아슈커 (1970–71)  키라즈 (1971–72)  토르칼C (1972)  지지 (1972–75)  니슈 (1975)  게기치 (1975–76)  다트쿠 (1976)  귀나르 (1976)  칼로페로비치 (1976–78)  니슈 (1978–79)  에르소이 (1979)  센귈 (1979–80)  라우슈 (1980–82)  카티프 (1982)  스탄코비치 (1982–84)  베셀리노비치 (1984–85)  메쇠이 (1985–86)  스탄코비치 (1986–87)  차크르 (1987)  위제튀르크 (1987)  페켈 (1987)  체르너이 (1987–88)  베셀리노비치 (1988–90)  카네르 (1990)  히딩크 (1990–91)  트르판 (1991)  토가이 (1991)  벵글로슈 (1991–93)  오지크 (1993–94)  이비치 (1994–95)  파헤이라 (1995–96)  라자로니 (1996–97)  베셀리노비치 (1997)  바리치 (1997–98)  무라톨루C (1998)  뢰프 (1998–99)  딜멘 (1999)  제만 (1999–2000)  소푸올루 (2000)  데니즐리 (2000–01)  로란트 (2002)  체틴 (2002–03)  귀네이 (2003)  다움 (2003–06)  지쿠 (2006–08)  아라고네스 (2008–09)  다움 (2009–10)  코자만 (2010–13)  야날 (2013–14)  카르탈 (2014–15)  페레이라 (2015–16)  아드보카트 (2016–17)  코자만 (2017–18)  코퀴 (2018)  쿠만C (2018)  야날 (2018–20)  카라프나르C (2020)  불루트 (2020–21)  벨뢰졸루C (2021)  페레이라 (2021)  카르탈 (2022)  제주스 (2022–23)  카르탈 (2023–24)  모리뉴 (2024–) 
C 감독 대행
| v t eFIFA 월드컵 골든볼 |
| --- | --- |
대회 최우수 선수:  1930: 나사시  1934: 메아차  1938: 레오니다스  1950: 지지뉴  1954: 푸슈카시  1958: 지지  1962: 가힌샤  1966: 찰턴  1970: 펠레  1974: 크라위프  1978: 켐페스 
골든볼:  1982: 로시  1986: 마라도나  1990: 스킬라치  1994: 호마리우  1998: 호나우두  2002: 칸  2006: 지단  2010: 포를란  2014: 메시  2018: 모드리치  2022: 메시 
골든볼 수상은 1982년 FIFA 월드컵부터 시작되었다.
| 전거 통제  |
| --- | --- |
국제:  FAST  VIAF  월드캣 
국가:  독일  미국
벵갈늘보로리스

|  벵갈늘보로리스 |
| --- | --- |
 벵갈늘보로리스
생물 분류ℹ️
계:: 동물계
문:: 척삭동물문
강:: 포유강
목:: 영장목
아목:: 곡비원아목
하목:: 로리스하목
과:: 로리스과
아과:: 로리스아과
속:: 늘보로리스속
종:: 벵갈늘보로리스 (N. bengalensis)
학명
Nycticebus bengalensis
(Lacépède, 1800)
보전상태
  취약(VU): 절멸가능성 높음  평가기관: IUCN 적색 목록 3.1
벵갈늘보로리스 (Nycticebus bengalensis)는 로리스과의 늘보로리스의 일종이다. 천천히 움직이는 이 곡비원류 영장류는 앞으로 뾰족하게 나온 눈과 털 안에 거의 숨겨지는 작은 귀를 갖고 있다. 꼬리는 아주 짧아 뭉툭하다.
벵갈늘보로리스는 일본의 한약재로 많이 사용되었고, 멸종 위기에 놓일 정도까지 거래된 적이 있었다. 영국과 같은 국가들은 현재, 법으로 늘보로리스 또는 이와 관련된 생산품의 무역 거래를 금지하고 있다.
힙한 선생

| --- | --- |
힙한 선생 
장르 : 드라마
방송 국가 :  대한민국
방송 채널 : 네이버TV, JTBC 온라인
방송 기간 : 2017년 8월 14일 ~ 2017년 8월 25일
방송 횟수 : 10부작
추가 채널 : JTBC
기획 : JTBC
책임프로듀서 : 오환민
제작사 : 드라마하우스
제작 : 박준서
연출 : 심나연
조연출 : 김다예, 임완철
각본 : 김아로미, 이정석
출연자 : 이주영, 유라, 안우연, 지조, 손종학, 문희경
외부 링크  : 힙한 선생 홈페이지
《힙한 선생》은 2017년 8월 14일부터  2017년 8월 25일까지 네이버TV와 JTBC 온라인에서 공개되었으며, 2017년 10월 3일에 JTBC에서 방영된 웹드라마이다.
등장 인물 > 주요 인물

이주영 : 공슬기 역
유라 : 김유빈 역
안우연 : 이황 역
지조 : 마초킹 역
손종학 : 조희봉 역
문희경 : 맹모숙 역
등장 인물 > 그 외 인물

한별
박민수
김지성
서장현
이상원
마솔
황승현
신수호
김선희
심은주
해선
이혜림
류효정
남태현
이현준
송진희
등장 인물 > 특별출연

지투
쇼리 : 공슬기의 담임선생님 역
임현성 : 지석의 아버지 임현성 역
조재윤 : 장학사 역
홍윤화 : 방과 후 수업 요리반 강사 역
김민경 : 방과 후 수업 골프반 강사 역
정명훈 : 방과 후 수업 바둑반 강사 역
유병재 : 중국음식점 배달부 역
강지영
본 도법

전 세계의 본 도법
본도법(Bonne 圖法)은 원추도법의 하나로 1752년 프랑스 사람 본이 고안한 것이다. 본도법의 위선은 모두 원호로 바른 길이를 나타내고 있으며, 경선은 중앙 경선을 제외하고는 모두 곡선이다. 길이는 중앙 경선상에서는 바르게 표시되어 있지만, 그 밖의 경선은 실제보다 과장되어 있다. 본도법으로 세계지도를 그리면 지도의 가장자리 쪽의 모양이 두드러지게 일그러지는 단점이 있으므로, 대개 대륙 지도나 지방 지도와 같이 지구상의 한정된 범위를 그리는 데 이용된다.
2차 논리

2차 논리의 문장  \exists \phi \phi 가 쓰여진 그라피티 (노이쾰른)
수리논리학에서 2차 논리(二次論理, 영어: second-order logic)는 임의의 다항 관계 및 다항 연산에 대한 변수 및 이에 대한 전칭·존재 기호를 사용할 수 있는 논리이다. 1차 논리에서 변수는 사용하는 모형의 원소만을 지칭하지만, 2차 논리에서는 모형 속의 임의의 부분 집합에 대하여 언급할 수 있다. 이에 따라 2차 논리는 1차 논리보다 더 다양한 개념들에 대하여 논할 수 있다. 그러나 2차 논리는 1차 논리와 달리 완전한 증명 체계를 갖지 못하며, 콤팩트성 정리나 뢰벤하임-스콜렘 정리와 같은 중요한 성질들이 성립하지 않는다.
정의 > 문법

2차 논리의 문법은 다음과 같은 기호들로 구성된다.
2차 논리의 변수(영어: variable)들은 다음과 같은 가산 무한 개의 종류(영어: sort)에 속한다.
각 자연수 n\in \mathbb {N} 에 대하여, n 항 연산 변수 f_{0}^{n},f_{1}^{n},f_{2}^{n},\dots .
특히,  n=0일 때,  f_{0}^{0},f_{1}^{0},\dots 는 1차 논리의 변수에 해당한다.
사실,  n>0인 연산 변수들은 생략할 수 있다.:63 예를 들어,  \forall f_{i}^{n}(\cdots )는  \forall R_{i}^{n+1}\left((\forall x_{0},x_{0}',x_{1},x_{2},\dots ,x_{n}\colon R_{i}^{n+1}(x_{0},x_{1},\dots ,x_{n})\land R_{i}^{n+1}(x_{0}',x_{1},\dots ,x_{n})\implies x_{0}=x_{0}')\implies (\cdots )\right)와 같이 풀어 쓸 수 있다.
각 자연수 n\in \mathbb {N} 에 대하여, n 항 관계 변수 R_{0}^{n},R_{1}^{n},R_{2}^{n},\dots .
특히,  n=1일 때,  R_{0}^{1},R_{1}^{1},\dots 는 1차 논리 변수들의 집합에 해당한다.
변수 밖에도 다음과 같은 논리 기호들이 사용된다. (이들은 1차 논리와 같다.)
전칭 기호  \forall 와 존재 기호  \exists
등호  =
명제 논리 기호  \land  (논리곱),  \lor  (논리합),  \lnot  (부정) 등
괄호  () 및 반점  , 등
주어진  n항 연산  {\mathsf {f}} 및  n항 관계  {\mathsf {R}}. 예를 들어, 집합론의 언어는 하나의 2항 관계  \in 를 갖는다. 다른 예로, 순서체의 언어는 2항 연산  +와  \cdot , 1항 연산  -, 0항 연산  0과  1, 그리고 2항 관계  \leq 를 갖는다.
2차 논리의 항(영어: term)은 다음 문법을 따라야 한다.
n항 연산 변수  f_{i}^{n}과  n개의 항  t_{1},t_{2},\dots ,t_{n}에 대하여,  f_{i}^{n}(t_{1},t_{2},\dots ,t_{n})은 항이다. (편의상  n=0일 때 괄호  f_{i}^{0}()를 생략하여  f_{i}^{0}로 쓴다.)
n항 연산  {\mathsf {f}}와  n개의 항  t_{1},t_{2},\dots ,t_{n}에 대하여,  {\mathsf {f}}(t_{1},t_{2},\dots ,t_{n})은 항이다.  (편의상  n=0일 때 괄호  {\mathsf {f}}()를 생략하여  {\mathsf {f}}로 쓴다.)
2차 논리의 논리식(영어: (well formed) formula)은 다음 문법을 따라야 한다.
n항 관계 변수  R_{i}^{n}과  n개의 항  t_{1},t_{2},\dots ,t_{n}에 대하여,  R_{i}^{n}(t_{1},t_{2},\dots ,t_{n})는 논리식이다.
n항 관계  {\mathsf {R}}와  n개의 항  t_{1},t_{2},\dots ,t_{n}에 대하여,  {\mathsf {R}}(t_{1},t_{2},\dots ,t_{n})는 논리식이다.
두 항  t_{1},  t_{2}에 대하여,  t_{1}=t_{2}는 논리식이다.
논리식  \phi 와  \phi 에 등장하는  n항 자유 연산 변수  f_{i}^{n}에 대하여,  \forall f_{i}^{n}\phi 와  \exists f_{i}^{n}\phi 는 논리식이다.
논리식  \phi 와  \phi 에 등장하는  n항 자유 관계 변수  R_{i}^{n}에 대하여,  \forall R_{i}^{n}\phi 와  \exists R_{i}^{n}\phi 는 논리식이다.
두 논리식  \phi 와  \chi 에 대하여,  \phi \land \chi 와  \phi \lor \chi  및  \phi 에 대하여,  \lnot \phi 는 논리식이다.
여기서, 논리식  \phi 에 등장하는 연산 변수 또는 관계 변수  x가 자유 변수(영어: free variable)라는 것은  \phi 에  \forall x나  \exists x가 포함되지 않는 것을 의미한다.
정의 > 의미론

2차 논리의 의미론은 흔히 2차 논리의 모형으로 주어진다. 이 경우, 모형  \langle X,\dots \rangle 가 주어졌을 때,  n항 연산 변수는  X 위의 모든 (외적 관점에서의) 연산  X^{X^{n}}의 값을 가질 수 있으며,  n항 관계 변수는  X 위의 모든 (외적 관점에서의) 관계  {\mathcal {P}}(X^{n})의 값을 가질 수 있다. 특히, 1항 관계 변수는  X의 모든 부분 집합의 값을 가질 수 있다. 반면, 1차 논리 모형에서는 (집합론의 언어를 사용할 경우, 추이적 모형의 경우) 1차 논리 언어로 정의 가능한  X의 부분 집합만을 다룰 수 있다.
2차 논리의 경우, 위와 같은 표준적인 의미론 대신 헹킨 의미론(영어: Henkin semantics)을 사용할 수 있다. 헹킨 의미론에서는 각 변수 종류(영어: sort)가 다른 정의역(영어: domain)을 가질 수 있다. 헹킨 의미론을 사용할 경우 2차 논리는 사실상 1차 논리와 같아진다. 간혹 헹킨 의미론과 구별하기 위하여 전자를 표준 의미론(영어: standard semantics)이라고 하기도 한다.
성질

2차 논리의 증명 체계(영어: proof system)는 (순수한 논리 기호만 포함하는, 즉 변수 및  =,\forall ,\exists ,\lor ,\land ,\lnot 만을 포함하는) 2차 논리 명제에 대하여 증명을 제시하거나 또는 제시하지 않는 함수이다. 증명 체계가 증명을 제시하는 명제를 증명 가능 명제(영어: provable proposition)라고 한다. 여기서 "증명"이란 (주어진 알파벳에 대한) 일련의 문자열을 뜻한다.
괴델의 불완전성 정리에 따라, 2차 논리의 증명 체계는 다음 세 조건을 동시에 만족시킬 수 없다.
(정당성 영어: soundness) 증명 체계가 증명할 수 있는 모든 명제는 2차 논리의 모든 (표준) 모형에서 참이다.
(완전성 영어: completeness) 증명 체계는 2차 논리의 모든 (표준) 모형에서 참인 2차 논리 명제를 증명할 수 있다.
(유효성 영어: effectiveness) 증명들의 집합은 재귀적 집합이다. 즉, 주어진 문자열이 어떤 명제의 증명인지 여부를 항상 종료하는 알고리즘으로 판별할 수 있다.
반면, 1차 논리의 경우 위 세 조건을 만족시키는 증명 체계가 존재한다 (괴델의 완전성 정리).
2차 논리에서는 또한 콤팩트성 정리와 뢰벤하임-스콜렘 정리가 성립하지 않는다.
(위 성질들은 2차 논리의 표준 의미론에 대한 것이다. 헹킨 의미론을 사용하면 이는 1차 논리와 같은 성질들을 갖는다.)
역사

고틀로프 프레게는 1879년에 출판된 《개념 표기법》에서 오늘날의 2차 논리와 유사한 논리 체계를 도입하였다.:295 그러나 프레게는 1차 논리와 고차 논리를 구분하지 않았다. 이후 찰스 샌더스 퍼스가 1차 논리와 2차 논리를 구분하였으며, "2차 논리"라는 용어를 도입하였다.:296
헹킨 의미론은 리언 앨버트 헹킨(영어: Leon Albert Henkin, 1921~2006)이 1950년에 도입하였다.
2차 논리에 대하여 윌러드 밴 오먼 콰인은 (이솝 우화에 빗대어) “양의 탈을 쓴 집합론”(영어: set theory in sheep’s clothing)이라고 평하였다.:66, Chapter 5 즉, 2차 논리로는 집합론에 해당하는 여러 개념들(멱집합 등)을 정의할 수 있으며, 또한 적절한 증명 이론을 제시할 수 없으므로, 1차 논리와 달리 2차 ‘논리’는 사실 논리가 아니라는 것이다.
반면, 조지 불로스(영어: George Boolos)를 비롯한 다른 수리철학자들은 콰인의 비판에 반대하여 2차 논리를 옹호하였다.
같이 보기

1차 논리
고차 논리
보은 속리산 금강골 쌍탑

| --- | --- |
 충청북도의 유형문화재

종목: 유형문화재 제200호  (2000년 9월 15일 지정)
수량: 2기
위치
보은 속리산보은 속리산(대한민국)
주소: 충청북도 보은군 속리산면 사내리 산1-1번지
좌표: 북위 36° 33′ 2″ 동경 127° 50′ 35″﻿ / ﻿북위 36.55056°  동경 127.84306° ﻿ / 36.55056; 127.84306
정보: 국가유산청 국가유산포털 정보
보은 속리산 금강골 쌍탑(報恩 俗離山 錦剛谷 雙塔)은 충청북도 보은군 속리산면, 속리산 금강골 절터의 동쪽 암반 위에 동서로 서 있는 2기의 탑이다. 2000년 9월 15일 충청북도의 유형문화재 제200호로 지정되었다.