della logica matematica attinente allo studio dei quantificatori e delle funzioni che li riguardano.