A truth that cannot be derived from the axioms of a given formal system
Sign up
Need help? accounthelp@everything2.com