answersLogoWhite

0


Best Answer

An axiom is a statement that is accepted without proof. Proofs are based on statements that are already established, so therefore without axioms we would have no starting point.

User Avatar

Wiki User

12y ago
This answer is:
User Avatar
More answers
User Avatar

Wiki User

9y ago

No. Axioms are meant to be self-evident truths that cannot be proved.

This answer is:
User Avatar

Add your answer:

Earn +20 pts
Q: Do axioms need a proof in the logical system?
Write your answer...
Submit
Still have questions?
magnify glass
imp
Related questions

What statements are accepted as true without proof in a logical system?

Axioms, or postulates, are accepted as true or given, and need not be proved.


What is accepted without proof in a logical system?

Axioms and Posulates -apex


What are the steps on how to prove axioms and propositions in incidence-betweenness geometry?

This isn't really the answer you're looking for, but it turns out that axioms do not need to (and in fact CANNOT) be proven. And each proposition has a unique proof, unfortunately.


How do you solve logical deduction?

I don't know what you mean by solving logical deduction. Do you mean how do you tell, given an allegedly logical deduction, whether it really is logical? Or do you mean, given a theorem, how do you logically prove it, that is, prove that it logically follows from the axioms? The last question is very complicated. Some theorems have taken centuries to prove (like Fermat's last theorem and the independence of Euclid's Parallel Postulate), and some have not yet been proven, like the Goldbach conjecture and Riemann's hypothesis. The first question is much simpler, but to describe exactly how to verify the validity of a deduction, we would need to know what kind of deduction it is. For example, a deduction involving only logical connectives like and, or, if-then, not can be verified with a truth table. Those involving quantification or non-logical symbols like set membership require looking at the proof and seeing that each step can be justified on the basis of the axioms of the system, whether it is the system of Euclidean Geometry, of the field of real numbers, or of Zermelo-Frankel Set Theory, etc.


What does axiom means?

An axiom is a basic mathematical truth used in proofs, outlined initially by Euclid. Axioms are self-evident and do not need to be proven, they can be combined and used logically to prove more complex mathematical concepts, especially in geometry. Example: "The shortest distance between two points is a straight line."


Will you damge your heating system by putting it on em heat?

The question is not logical. You need to clarify what is your question.


Can a counterexample prove that the angles of a triangle need not add up to 180 degrees?

Yes - if such a counterexample can be found. However, using only the Euclidean axioms and logical arguments, it can be proven that the angles of a triangle in a Euclidean plane must add to 180 degrees. Consequently, a counterexample within this geometry cannot exist.


You will need special tools that are not part of the mass trailor to proof load the system what are they?

utility pump and hose


What is the sentence for proof?

you need proof


Postulates need to be proven?

Such statements are called postulates in geometry and axioms in other areas. Definitions are also accepted without proof, but technically they are abbreviations rather than statements.


What is logical statement?

A logical statement is one that will return a boolean or a logical "True" or "False" output. It is used in cases where conditions need to be executed. For ex: lets say you write a system that checks the age of the visitors to a bar, the system should only allow people who are over 18 yrs of age. So the logical condition will be like below: if(age > 18) then "Let the Customer Enter" else "The customer is a minor, send them back to stay out of trouble"


When does a set of hypotheses become a theory?

The need for PROOF. Hypothesis, is a thoery without proof. 'Hypo' Classical Greek for 'Under/ Less than' & 'thesis' a thoery . A Theory has a PROOF , that it is universally accepted by one's peers.