$$
\begin{aligned}
&Ax=b,\quad A\in\mathbb{R}^{m\times n},\quad b\in\mathbb{R}^{m},\quad m>n.\\
&\text{Since }m>n,\text{ the system is overdetermined.}\\
&\text{If }\operatorname{rank}(A)=\operatorname{rank}([A|b])=n,\text{ there is a unique solution.}\\
&\text{If }\operatorname{rank}(A)=\operatorname{rank}([A|b])<n,\text{ there are infinitely many solutions.}\\
&\text{If }\operatorname{rank}(A)<\operatorname{rank}([A|b]),\text{ the system is inconsistent, hence no solution.}
\end{aligned}
$$
$$
\therefore\ \boxed{A,\ B,\ D}
$$