2018년 6월 중순 무렵에 윌리 애들러의 지식개념 지식 연구

~(∃x)(x는 윌리 애들러다 & ~(∃y)(y는 윌리 애들러다 & x ≠ y) & (∀p)(x는 명제 p를 안다 ↔ p가 참이다 & x는 p를 믿는다 & (∃z)(z는 신빙성 있는 인지과정이다 & p는 z에 의해서 산출된다)))