← All apps
Academics
AxiomForge
Build arithmetic from nothing. Start with zero, "the next number" and two rules for adding. Prove 2 + 2 = 4, then that adding in either order gives the same answer, then multiplication. Every move is a legal rewrite or it is refused. Twenty levels in three worlds, with a tiny checker that cannot be bluffed.
▶ Play it nowBuilt for sittings of about 25 minutes on the screen. That is our design budget, not a measurement.
Icon coming soon
Live Construct viable arguments and use definitions (MP3); understand proof by induction (HSA, college-preparatory discrete mathematics) Hero color:
#3d3a8a
Engagement:
What's inside
🎯
Learning goal
Build arithmetic from nothing. Start with zero, "the next number" and two rules for adding. Prove 2 + 2 = 4, then that adding in either order gives the same answer, then multiplication. Every move is a legal rewrite or it is refused. Twenty levels in three worlds, with a tiny checker that cannot be bluffed.
How AxiomForge handles your kid's data
- ✅ All progress, settings, and AI-generated content stays on the device
- ✅ No analytics, no tracking, no third-party SDKs
- ✅ Free — no ads, no in-app purchases
- ✅ No personal information collected from children — in line with COPPA (updated by the 2026 FTC amendments)
- ✅ No chat with strangers — play-together rooms use a short code and preset emotes, never typed messages