Kernel accepts wrong-structure projections, allowing axiom-free proof of False #1 Post by gopiandcode » Tue, Jul 28, 2026, 11:57 AM UTC Kernel accepts wrong-structure projections, allowing axiom-free proof of Falsegithub.com