I'm trying to understand the justification for using the Minkowski metric. It's clear to me that it's the natural choice of metric given that spacetime separations denoted by $(-c^2\Delta t^2+\Delta x^2+\Delta y^2+\Delta z^2)$ are invariant across inertial frames of reference. So the next step is to show that spacetime interval is invariant.
It's also clear that lightlike spacetime intervals are all $0$ and hence invariant. In other words, if $\Delta s^2=0$ in one frame, then it's $0$ in all the other IRFs as well.
But it's not obvious to me how to show that spacelike and timelike spacetime intervals are invariant as well (without assuming Lorentz transformation). I've looked at Why does Minkowski space provide an accurate description of flat spacetime? and Physical reasons for metric definition in special relativity, and as good the answers are to those questions, I still didn't find what I was looking for.
Would appreciate any guidance how to prove that spacelike and timelike spacetime intervals must be invariant. [Tried googling for it myself as well, but no luck]