factorial main()에서 이해가 안가는 부분

elif user_input is '0':

에서 0이 왜 스트링 형태로 되는 것인지 이해가 잘 가질 않습니다.

수업시간에 제가 뭘 놓친건지 모르겠네요.

어렴풋이 그냥 0이라고 했을 때 True가 되는 것과 '0'으로 해야 False가 된다는 것 정도만 알겠는데 False가 되어야 하는 것이면 반드시 '0'일 필요는 없지 않나요?

그런데 '1', '2', '3' 같은 다른 스트링형 숫자로하면 작동이 되질 않네요. '0'일 때에는 잘 작동하거든요.

기초적인 질문일지는 모르겠지만 이해가 가질 않아서 누군가 속시원히 답해주시면 좋겠습니다 ㅠㅠ