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.
Паскал тврди дека само првиот вид дефиниции се важни за науката и за математиката, сметајќи дека овие области би требало да ја усвојат филозофијата на формализмот, како што утврдил Декарт.