It is undecidable whether a given first-order sentence can be realized by a finite undirected graph .
It is undecidable whether a given finite undirected-order sentence can be realized by a first graph .