«Prédicat (logique mathématique)» en anglais avec traduction parallèle