Yes, the characteristic of mathematics where it begins with postulates and definitions and proceeds step-by-step to more elaborate concepts is called a Logical sequence.
In mathematics, reasoning starts with basic assumptions (postulates) and agreed-upon definitions. From these, more complex ideas, theorems, and results are logically derived through a series of steps that follow a coherent, structured path. This logical progression ensures that each new concept or result is built on the foundation of previous ones, making mathematics a highly structured and logical discipline.