⚡ Obelisk Kernel Output
Verified High-Assurance
1. Propositional Logic
2. Predicate Logic
3. Set/Class Foundations
4. Metalogical Laws
5. Incompleteness
📖 Open Full Manual
🗄️ JSON DB
Loading verified mathematical output...