> Developing the SQL schema backing that UI is arguably something that is 100% deterministic and can have mathematical proofs established which prove its correctness one way or another.

Maybe you can prove what software does, but "proving" that what it does is the right thing is necessarily subjective and grounded in reality; mathematical proofs need to get dirty.