This philosophical work argues that mathematics is primarily an analytic discipline, examining the nature of mathematical truth and knowledge. Gregory Lavers challenges conventional views about mathematical ontology and epistemology through rigorous logical analysis.