You don't need any special reasoning to know how to write a loop. This is just a basic thing people get taught. What does it mean to use mathematical reasoning

You don't need any special reasoning to know how to write a loop. This is just a basic thing people get taught. What does it mean to use mathematical reasoning to derive a loop, and what error does this derivation prevent?