A row reading $0\ 0\ 0 \mid 5$ after elimination means the system has infinitely many solutions.

False

False. That row asserts $0 = 5$, so the system is inconsistent and has no solution at all. The row that signals infinitely many is $0\ 0\ 0 \mid 0$, no information, leaving a free variable. The two look alike and mean opposite things.