양상 논리 필연성 필연적 틀:이산수학·수리논리학 수반 양상 틀:논리학 이름과 필연 게티어 문제 데이비드 루이스 본질 相 논리학 관련 정보 철학/입문 논리학 조건문 樣 철학적 좀비 분석철학 수학철학 알빈 플란팅가 철학자 틀:수학기초론 형이상학 실재론 솔 크립키 윌러드 밴 오먼 콰인 고트프리트 빌헬름 라이프니츠 불가능