logic made up of steps
frege / bertrand russell / Whitehead, formal logic as stepwise derivation
ludwig wittgenstein logical form as mirrored in the structure of reality, atomic facts compose into more complex facts
brouwer in intuitionism, logic is a constructive mental activity, the steps come from the “mind’s unfolding”