Denne boken utforsker de filosofiske rollene som definisjoner spiller i tilegnelsen av matematisk kunnskap. Den starter med å se på definisjoners betydning i grunnleggende programmer og går deretter videre til å analysere ulike typer definisjoner, med fokus på deres opprinnelse, potensielle epistemiske roller og formelle begrensninger. Boken tar for seg eksplisitte definisjoner, implisitte definisjoner og implisitte definisjoner av primært begreper. Sistnevnte gruppe deles ytterligere inn i aksiomatiske og abstraktive definisjoner. Etter å ha diskutert ulike former for avklaringer og utdypninger, undersøkes det flere måter definisjoner kan generere matematiske kunnskaper på.
