impredicativo
agg. [comp. di in-2 e predicativo]. – Nella logica matematica, definizione i., quella che definisce un ente facendo riferimento a una totalità cui quell’ente appartiene.
tipo
s. m. [dal lat. typus, gr. τύπος «impronta; carattere, figura, modello», dal tema di τύπτω «battere»]. – 1. Con il sign. originario di impronta, fatta battendo o premendo, si conserva in due accezioni specifiche: a. In numismatica,...
