Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancées en mathématiques, est axé principalement sur la logique du premier ordre. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées.