This article is concerned with the strongly Gorenstein flat dimensions of modules and rings. We show this dimension has nice properties when the ring is coherent, and extend the well-known Hilbert's syzygy theorem to the strongly Gorenstein flat dimensions of rings. Also, we investigate the strongly Gorenstein flat dimensions of direct products of rings and (almost) excellent extensions of rings.