Denne boken, skrevet av en av filosofiens mest fremstående logikere, argumenterer for at mange av de grunnleggende antakelsene som er vanlige innen logikk, matematikkfilosofi og metafysikk, trenger å endres. Dette gjør verket kritisk viktig for logisk teori. Jaakko Hintikka presenterer en ny grunnleggende førsteordenslogikk og anvender den for å utforske matematikens fundament. Denne nye logikken gjør det mulig for logikere å uttrykke konsepter som ekvipotens, uendelighet og sannhet på førsteordensnivå i samme språk. De berømte umulighetsresultatene fra Gödel og Tarski, som har dominert feltet de siste seksti årene, viser seg å være mye mindre betydningsfulle enn tidligere antatt. I prinsippet kan all vanlig matematikk utføres på dette førsteordensnivået, noe som fjerner behovet for eksistensen av mengder og andre høyere ordens enheter.
