logicismo[Espagnol]

nom
1 : (philosophy) the philosophical theory that all of mathematics can be derived from formal logic