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