A mathematical proof is a formal and logical line of reasoning that begins with a set of axioms and moves through logical steps to a conclusion. |
The choice of axioms in a logical system can represent content specific information. |
According to Frege, while definitions should give the meanings and fix the denotations of terms, axioms should express truths. |
A Euclidean geometry is based on false assumptions, which are called definitions, axioms, and postulates. |
One of the axioms of cyberculture is that the speed of telecommunications is dramatically impacting upon our senses. |
The truth of other axiomata would have to be defined in terms of the truth of these. |