Padoa, Alessandro (1868-1937).
Filósofo lógico italiano, discípulo de G. Peano. Se ocupó sobre todo de cuestiones lógicas vinculadas a la axiomatización de las teorías deductivas. Elaboró una axiomatización de los enteros en la que adoptaba como nociones primitivas entero, secesor y opuesto. Su nombre está asociado del llamado método de Padoa, expuesto en el Ensayo de una teoría algebraica de los números enteros, precedido de una introducción lógica a cualquier teoría deductiva (1900).