Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] A, allora ogni n. è contenuto in A (postulatodi induzione matematica). Si definiscono poi, con procedimento induttivo, le nozioni di somma e di prodotto; per la somma (simbolo +) si pone a+0=a e a+1=a′ (successivo di a) e poi, in generale, a+b′=(a ...
Leggi Tutto
postulato1
postulato1 s. m. [dal lat. postulatum «ciò che è richiesto; richiesta», der. di postulare «postulare»]. – Proposizione che, senza essere evidente né dimostrata, si assume – o si richiede all’interlocutore di assumere – come fondamento...
euclideo
euclidèo (ant. euclìdico) agg. – Relativo al matematico greco Euclide, vissuto intorno al 300 a. C.; in partic., di ente geometrico, o meglio di un sistema ipotetico-deduttivo, soddisfacente i postulati di Euclide: geometria e., v....