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 ».