There are 5 Platonic Solids and 3 'Platonic' Tessellations
(the equations will only work here)
A Platonic solid is a regular polyhedron with convex regular polygons as its faces and vertex figures. Equivalently, the faces and vertex figure must have Schläfli symbols "{p}" where "p" is an integer greater than 2 (¡hey, look!).
The vertex figure is the shape that one would get if one cuts off a corner of the vertex; for instance, the vertex figure of a cube is a triangle as seen below:
The Schläfli symbol for a polyhedron with {p} faces and {q} vertex figures.
For the Platonic solids, the shape of the vertex figure is just the convex p-sided polygon where p is also the number of faces adjoined at each vertex. In order for a convex vertex figure to be formed in this way, the multiple regular polygons must not have a combined total of 360°.
Since the interior angle of a regular polygon is 180(p-2)/p°, the possible number combinations for {p,q} must obey the below inequality:
$$360 > 180\frac{q(p-2)}{p}$$
The faces {p} must be triangles or more because the digon doesnt work when adjoining it to form a polyhedron. It should also be stated that a vertex figure with only two faces doesn't work either as the faces will just fold in on themselves like an infinitesimally slim sandwich, so q must also be greater than 3.
For p = 3, the inequality is equivalent to the formula below:
$$2 > \frac{q(3-2)}{3} = \frac{q}{3}$$
Therefore, the only possible vertex figures {q} must be less than 6 as 6/3 = 2. Meaning {3,3}, {3,4}, and {3,5} are valid Platonic solids; they are the tetrahedron, octahedron, and icosahedron respectively.
The case of {3,6} is not a Platonic solid as it is not strictly convex and is infinite in size. It is however a regular tiling of the Euclidean place as 6 triangles around a vertex form 360°.
For p = 4, the inequality becomes the equation below:
$$2 > \frac{q(4-2)}{4} = \frac{q}{2}$$
This inequality is even more restrictive as only q = 3 satisfies the equation as 4/2 = 2. The only valid Platonic configuration is {4,3}: the cube.
{4,4} is the regular square tiling:
For p = 5, the inequality is
$$2 > \frac{q(5-2)}{5} = \frac{3q}{5}$$
The only finite or regular configuration is {5,3} as 3*4 = 12 which is greater than 10. This also means that {5,4} is an invalid (Euclidean) tiling as a tiling requires both sides of the inequality to be equal whereas 12 does not equal 10.
The inequality for p = 6 is
$$2 > \frac{q(6-2)}{6} = \frac{4q}{6}$$
Since 3*4 = 12, {6,3} can't be finite and must be a tiling of hexagons.
The inequality has no solutions for p > 6 while also having q being 3 or more which means there are no other Platonic solids or tilings.