Hacker News new | ask | show | jobs
by DrDroop 973 days ago
One more thing, I suspect you can also find these in proof/axiom systems.