This answer is very misleading and wrong. The question is not about ZFC. Secondly, it's not about hidden assumptions. Thirdly, LEM is the fundamental reason justifying proof by contradiction in the typical form used in textbooks, so saying that it does not help here is totally wrong. Worse still, even in an inconsistent system, LEM
does hold! —
user21820 13 secs ago