The second law is actually a 'definition' in light of the first law of inertia. All the laws are more appropriately "postulates" of Mechanics and normally a definition is separated from postulates in logic.
If "kinematics" is the stage of labeling without concern to time, then this might also be thought of as the first "Dynamic" law (?). I don't like the logic that separates these though and so perhaps it is just as appropriate to be under 'Kinematics'. I don't like the term, "kinematics" given it is rarely used and may get confused with other areas. Basically, it describes a link of the theory to logic (via the 'math' used in expressing it.)
It might also be considered the defining of the symbolic relationships in math as it relates to physical reality WITHOUT actual meaning until the theory is demonstrated to give it meaning. In this way, some logics treat this as undefined terms. This throws some off but if you have ever programmed, it might be like the initial step of assigning variables without interpreting its contents that RESERVE the label to be defined specifically later on. Often in computing, this would be assigned at that stage the value of 'zero' but it doesn't require defining until later.
As a 'law', it might be considered similar to a rule in a game you are playing in which to be elible to play, all players must at least agree to the labels being used AND to postulate that the referents of the symbols are agreed to be about real observed measures.
Whether you use the 'momentum' definition originally set up by Newton or the more common modern 'force' definition is trivial. The law postulates a defining SPECIAL case of the first law/postulate in that it specifically describes the intuitive meaning of 'inertia' provided there. The law of inertia is itself a kind of extension of logic's first universal law of consistency as it applies to what we expect nature. ["Law of Identity" is the more popular term for that logical law and it is related to this in that we expect something to remain constant.] The only caveate is that it doesn't assert the same consistency beyond an inertial frame. That is, it doesn't assert consistency as a rule for accelerating bodies. This needed Einstein's General relativity to be more 'complete'.
So where the fist law is a postulate (based on intuition about consistent behavior) for velocity of a given mass, the second law is a postulate about changes with respect to other masses moving with the same law of inertia where they conflict with one another that breaks up the 'consistent' behavior of each independently.
Then the third law is a law of conservation of two (or more) conflicting objects after contact.
Think of this as a possible way also: The first law can be thought of as a law of 'consistency', the second of 'inconsistency' and the third as a kind of 'resolution' of what becomes 'inconsistent' to be understood as 're-consistent' when looking at the larger frame to maintain "conservation".