There is currently no text in this page. You can search for this page title in other pages, or search the related logs, but you do not have permission to create this page.
Template:SHORTDESC:Mathematical term; any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
From HandWiki