Statement form sorts theorems by the shape of the claim they make, such as an equation, an inequality or an existence statement. Wikipedia states Fermat's Last Theorem as the claim "that there are no positive integers a, b, c, n with n greater than 2 such that a to the n plus b to the n equals c to the n," a negative existence claim rather than a formula to compute with. This dimension groups theorems that make the same kind of mathematical statement.
Facts
Comparison
Era Of Emergence Statement Form
Sources
1. Mathematical Logic (Wikipedia)
Wikimedia FoundationHistory sectionQuote, History section
Mathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.