Investigation into the foundational questions of mathematical logic in the light of Descartes's Regulae ad directionem ingenii.