Databac

RÉDUCTIBILITÉ (AXIOME DE —)

RÉDUCTIBILITÉ (AXIOME DE —)

Axiome logique dû à Whitehead et Russell, posant que, pour une fonction propositionnelle de type quelconque, il existe toujours une fonction prédicative formellement équivalente, ou encore que « toute combinaison ou disjonction de prédicats est équivalente à un simple prédicat ».

Liens utiles