[MENTION=139973]carrom_ball[/MENTION] had no answer when I challenged him to prove how Ramanujan is bigger than Newton and Leibniz. Could not back up his brown nosing comment.
Then came [MENTION=44367]anakin[/MENTION]. When I challenged him to show how comparing Ramanujan with Netwton implies Guass and Euler are not great, he ignored it and continued with his abba dabba jabba.
And now the [MENTION=139758]pillionrider[/MENTION]. Struggling to prove Group Theory is anything but a human construct.
)
We can define a group as a set with a binary relation, and the closure, associativity, inverse and identity axioms. There are many theorems we can discover and prove based on this, like the theorem that the identity element of a group is unique.
From the field axioms, you can deduce and prove all the basic algebraic laws like -(-a) = a. That doesn’t mean you invented those theorems. You merely deduced them based on the system you created.