Math 301 Final Exam Review Questions and Answers Updated 2026.

Math 301 Final Exam Review
Questions and Answers
Updated 2026
WhatBisBtheBmainBconcernBinBtheBstudyBofBLogic?BWhenBwasBlogicBestablishedBasBa
BfoundationBforBmathematicsBandBwhoBwasBtheBfirstBtoBformalizeBthis?B-
BAnswerBLogicBisBaBsubfieldBofBphilosophyBthatBisBprimarilyBconcernedBwithBdiscernin
gBtruthBviaBtheBstudyBofBinference,Bsemantics,Bparadoxes,BandBfallacies.BAroundB300B
BC,BEuclidBformalizedBtheBuseBofBlogicBinBtheBstudyBofBmathematicsB(calledBtheBAxio
maticBMethod)BinBTheBElements.



HowBisBtheBtruthBofBaBstatementBestablishedBbyBtheBaxiomaticBmethod?BHowBisBthis
BdifferentBthanBhowBtruthBisBdiscernedBinBexperimentalBscience?B-
BAnswerBWithBtheBaxiomaticBmethod,BtheBtruthBofBaBstatementBisBestablishedBbyBtra
cingBitBbackBviaBaBsequenceBofBlogicalBstepsBtoBaBsetBofBaxiomsBandBprimitiveBterms
BwhichBare,BbyBdefinition,BacceptedBasBtrueBwithoutBproof.BInBcontrast,Bexperimental
BscienceBattemptsBtoBderiveBtruthBbyBmeansBofBrepeatedBobservationsB(experiments)
BofBaBphenomenonBinBtheBphysicalBworldBthatBhaveBaBregularBoutcomeBorBaBconsist
entBpattern.



WhatBareBtheBfoundationsBofBtruthBinBaBmathematicalBtheorem?BHowBisBhisBdifferent
BthanBforBaBscientificBtheory?BHowBcanBaBtheoremBorBaBtheoryBfallBapart?B-
BAnswerBABmathematicalBtheoremBusesBtheBaxiomaticBmethodBbyBwhichBtruthBisBest
ablishedBbyBtracingBaBstatementBbackBviaBaBsequenceBofBlogicalBstepsBtoBaBsetBofBa
xiomsBandBprimitiveBterms,BsoBaBtheoremBmayBfallBapartBifBtheBsetBofBaxiomsBareBc
hanged.BInBcontrast,BaBscientificBtheoryBisBbasedBonBtheBresultsBofBexperiments,BsoB
aBtheoryBmayBfallBpartBifBadditionalBexperimentalBresultsBareBfoundBtoBcontradictBthe
BconclusionBderivedBbyBpreviousBexperiments.



WhatBcharacterizesBaBmathematicalBstatement?BABmathematicalBstatementBisBdefined
BasBaBstatementBthatBobeysBtheBrulesBofBnoncontradictionBandBexcludedBmiddle.BWh
atBdoBtheseBtermsBmean?B-
BAnswerBABmathematicalBstatementBmustBbeBeitherBtrueBorBfalse.BNoncontradictionB
meansBthatBtheBstatementBcannotBbeBbothBtrueBandBfalse.BTheBruleBofBexcludedBmi
ddleBsaysBthatBtheBstatementBcannotBbeBneitherBtrueBnorBfalse.

, WhatBisBaBmathematicalBtheoremBandBhowBisBitBrelatedBtoBaBhypothesis?B-
BAnswerBABtheoremBisBaBmathematicalBstatementBthatBisBalwaysBtrue.BABhypothesisB
isBaBstatementBthatBreducesBtheBrangeBofBpossibilitiesBenoughBsoBthatBtheBconclusio
nBofBtheBtheoremBisBalwaysBtrue.BABtheoremBisBoftenBwrittenBinBtheBformB"IfB...B(hy
pothesis),Bthen...B(conclusion)",BwhereBtheBconclusionBisBalwaysBtrueBunderBtheBrestri
ctedBsetBofBpossibilitiesBdefinedBbyBtheBhypothesis.



InBwhatBwaysBisBaBmathematicalBdefinitionBdifferentBthanBaBdefinitionBinBeverydayBsp
eech?B-
BAnswerBABmathematicalBdefinitionBisBaBmathematicalBstatementBthatBassignsBaBword
BtoBanBobjectBorBproperty.BBecauseBit'sBaBmathematicalBstatement,BitBmustBalwaysBb
eBeitherBtrueBorBfalseB(neverBbothBorBneither).BInBeverydayBspeech,BaBdefinitionBmay
BbeBveryBvagueBorBsubjective.BMathematiciansBoftenBassignBaBmathematicalBdefinition
BtoBaBwordBthatBalsoBhasBaBvagueBdefinitionBinBeverydayBEnglishB(forBexampleBword
sBlikeB"continuous",B"similar",BorB"group").



WhatBisBanBaxiom?B-
BAnswerBAnBaxiomBisBaBstatementBthatBisBacceptedBasBbeingBtrueBwithoutBproofB(i.e
.BbyBfaith).



WhatBisBaBprimitiveBterm?B-
BAnswerBABprimitiveBtermBisBaBtermBthatBdoesBnotBhaveBaBdefinitionB(obviousBterms
BlikeB"point"BorB"line").



WhenBwritingBtheBproofBofBaBtheorem,BeveryBstepBmustBbeBjustified.BHowBareBthese
BstepsBjustified?B-
BAnswerBEveryBstepBinBaBproofBmustBbeBjustifiedBbyB(1)BaBpreviously-
provedBtheorem,B(2)BaBpreviously-BdefinedBterm,BorB(3)BanBaxiom.



StateBoneBofBtheBaxiomsBofBEuclideanBgeometry.B-
BAnswerBEuclideanBgeometryBrestsBonBaBsetBofB5Baxioms:B(1)BEachBpairBofBpointsBd
efinesBaBline.B(2)BABfiniteBsegmentBcanBbeBextendedBindefinitelyBinBaBstraightBline.B(
3)BGivenBaBpointBOBandBaBpointBABnotBequalBtoB0,BthereBisBaBcircleBcenteredBatBO
BwithBradiusBOAB(4)BAllBrightBanglesBareBequal.B(5)BIfBL1BisBaBlineBandBPBisBaBpoint
BnotBonBL1,BthereBisBaBuniqueBlineBL2BthroughBPBparallelBtoBL1.