Is there any mathematical or logical proof that carbon with 4 different groups would be chiral?
Yes, with a couple of simplifying conditions, you can easily show that a tetrahedral carbon with 4 different chemical groups (let's call them 1, 2, 3, 4) is chiral. Let's call the atoms directly bound to the carbon L1, L2, L3 and L4.

So the first condition I will impose is that none of the groups have another tetrahedral carbon with 4 different chemical groups attached.

Chemistry

In a tetrahedral carbon, the groups can't swap places. If that happens, we will call it a chemical reaction, and we are not allowing any chemical reactions.

Geometry

Tetrahdral should be taken loosely: For the plane defined by L1, L2 and the carbon atom, L3 is on one side of the plane and L4 on the other. The exact angles don't matter.

Showing that the carbon is chiral

If we put a mirror in the plane defined by L1, L2 and the carbon atom, the mirror operation swaps L3 and L4 (L3' on the side of L4, and L4' on the side of L3 - not sure we need a formal proof for that). I cannot superimpose that mirror image with the original (L1, L2 and the central carbon are already in the same position as the mirror image. I would have to rotate the molecule to get L3 and L4 superposed with L3' and L4', but then L1 would move away from L1', and L2 away from L2' - not sure we need a formal proof for that). Thus, the carbon atom changes configuration when taking the mirror image.

3D illustration

see https://proteopedia.org/wiki/index.php/R/S_nomenclature (you have to turn the molecules a bit to have L1 and L2 point in the same direction as L1' and L2')

Is this trivial?

No, not at all. For trigonal bipyramids there is sometimes pseudorotation, and for ammonia derivatives the trigonal pyramid can "umbrella flip", so these are typically not chiral. If there are four ligands on a central atom and the geometry is square planar, there is no chirality. So a couple of things have to come together to get a chiral center.