背理法を使うことを禁じ、かつ
素数が有限個であることが証明できる論理規則は存在しますか