Aunque Kreisel se enfoca en la matemática y la lógica como disciplinas formales, está inherentemente explorando la naturaleza de su existencia y validez. Searle profundiza en cómo construimos realidades abstractas a través del lenguaje y el acuerdo social, una perspectiva no obvia para la ontología de los objetos matemáticos que desafía el platonismo puro de forma lateral, sin caer en el convencionalismo 'fácil' de Wittgenstein.























