IFF 게티어 문제 피아식별 메탈기어 라이징 리벤전스 명제 논리 이름과 필연 논리 실증주의 환원주의 썸 작센급 호위함 땅거미 지뢰 완전수 필요조건과 충분조건 칼 포퍼 미군 vs 중국군 M2 브래들리/실전 탑건: 매버릭/탐구 아군 오사 하야세 유우카