Kernel, 잘못된 구조의 프로젝션을 허용하여 공리 없이 False 증명 가능

Kernel accepts wrong-structure projections, allowing axiom-free proof of False