PETER (R

PoOINCARÉ : 6, 90.

PoNCELET : 63.

Poytante (variable) : dans un axiome ou une règle logique : I11, 158.

Prédicatif (non) : 172.

Pyrédicats (calcul des) : 105.

Prédicats (axiome du calcul des) : 108,

PRESBURGER : 130, 131.

Projectif (ensemble) : 13, 19.

Proposition complexe : 104.

Proposition élément : 105.

Propositions (calcul des) : 103.

Puissance (d’un ensemble) : o.

Pyénexe (forme) d’une proposition :

DUL 00275090:

Quantificateur : 106.

Quantifiée (proposition) : 106.

Ramifriés (théorie des types) : 113.