Some background:
I know that for finite graphs, iff a graph has no odd cycle (i.e. it is bipartite), it can be $2$-colored. Similarly, a graph without $K_5$ or $K_{3,3}$ is planar, so it can be $4$-colored.
This question discusses an application of "no odd cycle" to infinite graphs (specifically, the rational and real unit distance graphs). I understand why an odd cycle would imply that the real unit distance graph is not $2$-colorable (it isn't even $3$-colorable), and kind of why "no odd cycle" should imply $2$-colorability of an infinite graph (if you try to $2$-color it you'll never run into any issues), but can is this a formal argument?
Also, say I have a finite graph without a $K_{2,3}$. This means it can't have a $K_5$ or a $K_{3,3}$, so it is planar and $4$-colorable. Is the concept of planarity necessary for these $4$-colorability arguments, and does that exist for uncountably infinite graphs? Either way, I'd like to use the same logic for a countably infinite graph (say, the unit distance graph in $\mathbb{Q}^n$) or an uncountably infinite graph (like the unit distance graph in $\mathbb{R}^2$, which is in fact free of $K_{2,3}$). Would this be a correct application of those two theorems? (I'm especially worried about the $4$-color theorem; since it ended in a finite case check, I doubt it would hold for infinite graphs)
I've never worked with infinite graphs so I'm not quite sure where to start on any of these. Anything about this that would point me in the right direction would be much appreciated.
The point is that a $k$-colouring of an infinite graph is also a $k$-colouring of all of its subgraphs. So a finite graph that isn't $k$-colourable can't occur as a subgraph of a $k$-colourable infinite graph.
On the other hand, the De Bruijn-Erdős theorem says that a graph whose finite subgraphs are all $k$-colourable is $k$-colourable.