Os conceitos matemáticos com os quais lida o cientista geralmente são formulados a partir do conceito de conjunto. As teorias científicas, principalmente se consideradas axiomaticamente, em geral pressupõem uma teoria de conjuntos, que por sua vez usualmente alicerça-se na lógica clássica, de tradição aristotélica. Neste livro, esta base ‘conjuntista´ e lógica da ciência presente é abordada, e vários de seus pressupostos (em geral tomados informalmente como evidentes) são explicitados. Os casos particulares da mecânica de partículas, da teoria sintética da evolução e da mecânica quântica servem de exemplos da técnica de axiomatização de uma teoria científica por meio dos chamados predicados de Suppes. Paralelamente, o autor reconstrói parte da história da teoria de conjuntos, mostrando que há na verdade várias teorias de conjuntos, em geral não equivalentes entre si. As teorias mais conhecidas, como os sistemas Zermelo-Fraenkel, von Neumann-Bernays-Gödel, NF de Quine-Rosser, ML de Quine-Wang e Kelley-Morse são descritos, oferecendo-se ao leitor um raro texto em português onde possa compará-las  e conhecer alguns de seus pressupostos  fundamentais.