Paradoxul gărzilor este o problemă clasică din teoria mulțimilor, care se referă la o situație în care un număr finit de gărzi trebuie să păzească o proprietate, dar la un moment dat se schimbă, astfel încât unele gărzi nu mai au o proprietate de păzit. Paradoxul constă în faptul că o soluție aparent logică duce la o contradicție.