Pascal claimed that only definitions of the first type were important to science and mathematics, arguing that those fields should adopt the philosophy of formalism as formulated by Descartes.
פסקל טען שרק ההגדרות מהסוג הראשון חשובות למדע ומתמטיקה, וצודד בכך שתחומים אלו יאמצו את הפילוסופיה של פורמליזם כפי שנוסחה על ידי דקארט.