In diesem Kapitel werden die natürlichen Zahlen unter der Perspektive der elementaren Teilbarkeitslehre untersucht. Dazu werden verschiedene Teilbarkeitsrelationen insbesondere anschaulich (linear oder mit Hilfe von Rechteckfeldern) bewiesen. Diese Beweisarten fußen auf inhaltlicher Vorstellung. Auch werden formale Beweise mit Variablen mit den anschaulichen Beweisen verknüpft und generische Beweise sprachlich verallgemeinert. Darüber hinaus werden aber auch Verfahren wie z. B. der euklidische Algorithmus veranschaulicht. Die Videos zur Exploration sollen dabei helfen, solche Beweise und Veranschaulichungen selbstständig durchführen zu können.