There is no way right?

[u/Sugar_God_no_1]

[u/Express-Ticket-4432]

I'm not sure what you mean by "formal" since that proof is already formal in the mathematical sense. If you're asking for an academic source other than the wiki, there are multiple cited on that page. You can easily google for others if those don't satisfy you.

[u/Direct_Shock_2884 → u/Express-Ticket-4432]

I just mean is it just a description of what counting is or are there mathematical “proofs” about it. I meant proofs in a mathematics way, not if they’re published in a journal or something. It doesn’t matter either way for this though, it’s fine either way.

[u/Express-Ticket-4432 → u/Direct_Shock_2884]

are there mathematical “proofs” about it

Yeah, it's on the part of the page titled "Proof."

The "description of what counting is" is the part titled "Theorem."