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