どこに書けばいいのか分からなかったのでここに書きました

素数の一般式の存在可能性を証明（または反証）するには、どんな分野の知識が必要となるんでしょうか？