Giberelliinide toimel suureneb hüpokotüüli ja kõrreliste sõlmevahede kasv. Kasvu suurenemise põhjuseks on nii rakkude arvu kasv kui rakkude pikenemine. Ga-d indutseerivad CDK-de geenide ekspresseerumist.Rakkude pikenemise põhjuseks on rakuseinte plastilisuse suurenemine, aga mitte rakuseinte hapustumise tagajärjel. Pikk lag faas pikenemise indutseerimisel (mitu tundi) viitab uute valkude sünteesi vajalikkusele. Õitsemise induktsioonis GAd asendavad päeva pikkuse ja külma (vernalisatsioon) toime. Seega on üks komponent florigeeni koosseisus. GA-d suurendavad emasõite hulka kõrrelistes pärssides isasõite teket. Kaheidulehelistes GA lisamine soodustab isasõite teket. Soodustavad pungade ja seemnete puhkeperioodi läbimist Seemnete idanemist soodustavad amülaaside sekreteerimise aktiveerimise tõttu. GA-d produtseeritakse embrüos. Aktiveerivad eriti amülaaside (lagundavad tärklise
aksioomi paremalt vasakule rakendades funktsiooni ' summa teisele liikmele: ( + ( + ))' = (( + ) + )' = ( + ) + . Seega on vasak ja parem pool tõesti võrdsed. Liitmise kommutatiivsus Naturaalarvude liitmine on kommutatiivne: [ + = + ] Tõestus: Liitmise kommutatiivsuse tõestamiseks kasutame kõigepealt induktsiooni muutuja järgi ja selle induktsiooniga tekkivas kummaski lemmas veel induktsiooni järgi. Induktsioonis muutuja järgi on aksioomis P7 oleva valemi A(x) rollis on [ + = + ] . Tuleb tõestada kaks lemmat: Lemma 2.1 (induktsiooni baas). [0 + = + 0] Lemma 2.2 (induktsiooni samm) [[ + = + ] [ + = + ]] Baaslemma [0 + = + 0] tõestus Tõestame induktsiooniga y järgi: Lemma 2.1.1. 0 + 0 = 0 + 0. Selle lemma kehtimine on ilmne. Lemma 2.1.2. [0 + = + 0 0 + = + 0]. Selle üldisuse kvantoriga valemi tõestamiseks tähistagu suvalist naturaalarvu.