The discussion centers on the assertion by HallsofIvy that all mathematical statements can be expressed in the form "If A then B." Evagelos counters this by presenting axioms from propositional calculus, arguing that many mathematical statements are based on axioms and can be rephrased to fit the "if A then B" structure. The conversation highlights the nuances of mathematical logic, particularly the distinction between tautologies and conditional statements, and emphasizes that axioms themselves can be considered statements. The participants engage in a debate about the nature of mathematical statements and their foundational axioms.
PREREQUISITESMathematicians, philosophers of mathematics, students of logic, and anyone interested in the foundational principles of mathematical statements and their logical structures.
On the contray, it obviously is: A= a, B= (b---->a).evagelos said:
It was your example, not mine.