Thanks to several comments by Gerry Myerson, it is now clear that I wasn't clear, up to a state where I seriously confused myself. In a renewed attempt:
Recently, I've been thinking about Platonic solids (in preparation of a maths camp next summer) and about proofs that there are only five of these. There is one step in what seems to be the main proof that causes problems.
To avoid problems, polyhedra may contain infinitely many faces and Platonic solids consist of finitely many faces, all of these the same regular polygon, such that at every vertex the same number of polygons meet.
The proof I'm talking about considers the possibilities for $k$ regular $n$-gons meeting at each vertex ($k\geq3$) and considers when the sum of angles at each vertex (i.e. $k$ times the angle in a regular $n$-gon) is strictly less than $360^\circ$. This yields exactly five options and all five options can then be realised.
From considering counterexamples to several subtly wrong definitions of Platonic solids (in this setting), it seems that the requirement that $k$ times the angle in a regular $n$-gon) is strictly less than $360^\circ$ corresponds to the finiteness of the number of faces. I, however, fail to see why the finiteness of the number of faces implies this. (the implication in the other direction would be equally unclear, but irrelevant). Does anyone have suggestions how to (easily) prove that the finiteness of the number of faces implies that sum of angles at each vertex has to be strictly less than $360^\circ$? I still guess there's some obvious thing I'm missing.
Best Answer
I am still not too clear on what you are asking regarding the infinite number of faces, but let me say a little on what I think you are getting at.
Suppose we have a convex polyhedron. This means that Euler's polyhedral formula holds and we have $$V - E + F = 2$$ where $V$, $E$ and $F$ are the number of vertices, edges and faces respectively. We define the vertex angle at each vertex $\theta_v$ as the sum of all the face angles meeting at that vertex. We then define the angular deficit as $$\delta_v = 2\pi - \theta_v$$ We now want to compute the total angular deficit $\sum_v\delta_v$ over all vertices of the polyhedron. Clearly, we have $$\sum_v\delta_v = 2\pi V - \sum_v\theta_v$$ The latter summation is the sum of all face angles across the polyhedron. Since each face of a convex polyhedron is a convex polygon, we can write $$\sum_v\theta_v = \sum_f\phi_f = \pi\sum_f (E_f-2)$$ where we write $\phi_f$ as the net interior angle of face $f$, and $E_f$ as the number of edges comprising face $f$. This gives us the net result $$\sum_v\delta_v = 2\pi V - \pi\sum_f (E_f-2) = 2\pi V + 2\pi F - \pi \sum_f E_f$$ The latter sums over the edges of all faces, and since each edge belongs to exactly two faces, the sum counts each edge twice. Therefore we finally have $$\sum_v\delta_v = 2\pi V + 2\pi F - \pi \sum_f E_f = 2\pi(V - E + F) = 4\pi$$ This result is known as Descarte's Theorem. The take away for this is that the net angular deficit is always positive. In a platonic solid, by definition we require the vertex angles to be the same across all vertices. This means that the excess at each vertex must be given by $$\delta_v = \frac{4\pi}{V}$$ and that the vertex angle is strictly less than $2\pi$.
I will close off with a remark that convexity is somewhat necessary. It is not true for non-convex polyhedra that the vertex angles are less than $2\pi$.