Hacker News new | ask | show | jobs
by dooglius 2430 days ago
You would just prove that it is equivalent to a simple specification of the axiomatic system.