Hacker News new | ask | show | jobs
by Koshkin 2260 days ago
> choose any axioms and then derive

Sound almost like "jump off the roof and see what happens."