A TheoDefről, a használt Gödel-számozás leírása Technikai hibák jelentése, segítségkérés, javaslattételA szerkesztéslista (2023. június 27., 17:40-től van benne minden a változatokhoz a tartalom mellett tartozó információ)
A weboldal jelenleg fejlesztés alatt áll, előfordulhat egyes funkciók átmeneti működésképtelensége.

∀(a, b): a  (b + 1)=a  b + a

MódosításÖsszes változat megtekintése

A tétel főleg szöveges formában:

Ha egy számot megszorzunk egy másik szám rákövetkezőjével, az eredmény ugyanaz, mintha összeszoroztuk volna az egyiket a másikkal, és hozzáadtuk volna az eredményhez az egyiket.

Lásd még

∀(a): a  0=0
Az összes cikk a(z) „Számelmélet” témában

A bizonyítás:

Definíció szerint van így, ennélfogva bizonyításra nem szorul.