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. (da contracapa).