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