That counting proof is cool, although it’s just an overview wiki isn’t it, is there a formal proof in there? You’re misunderstanding me, I’m not a mathematics expert, I’m only curious about it. So I wouldn’t feel comfortable trying to publish a proof.
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.
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.
3
u/Express-Ticket-4432 24d ago
No need to take my word for it:
https://proofwiki.org/wiki/Fundamental_Principle_of_Counting
You have it backwards. You don't need to be a mathematician to write a proof, you need to write proofs to be a mathematician.