이 문서를 요약해줄 수 있습니까?
1945년 8월 15일, 한국이 일제 강점기에서 해방되었다. 1948년 제헌국회에서는 새 나라의 이름을 무엇으로 정할 것인지에 대한 논의가 이루어졌다. 헌법기초위원회의 제헌의원 30명은 국호를 결정하기 위한 투표를 진행했고, 대한민국 17표, 고려공화국 7표, 조선공화국 2표, 한국 1표로 ‘대한민국’으로 결정되었다. 헌법기초위원회 서상일 위원장은 “조선 후기와 대한민국임시정부, 국회가 처음 열릴 때 이승만 의장의 식사에도 ‘대한’이라는 국호를 사용했다”며 ‘대한민국’을 국호로 결정한 이유를 밝혔다. 1948년 7월 1일 국회에서 헌법 제1조 ‘대한민국은 민주공화국이다’라는 국호 조항이 투표로 결정되어 대한민국 국호가 최종 확정되었다. 대한민국 헌법은 7월 17일 공포되면서 시행되었다. 지금 많은 이들이 사용상 편의를 위해 ‘대한민국’을 줄여 ‘대한’ 또는 ‘한국’이라 부른다. 영어 국호는 ‘고려’의 이름이 외국에 널리 알려져 ‘Korea’라 한다. 공식적인 명칭은 ‘Republic of Korea’이다.
1945년 8월 15일 한국이 일제 강점기에서 해방되었고, 새 나라의 이름을 정하기 위한 논의 결과로 '대한민국'이 결정되었다. 사용상 편의를 위해  ‘대한민국’을 줄여 ‘대한’ 또는 ‘한국’이라 부른다. 영어 국호의 공식적인 명칭은 ‘Republic of Korea’이다.