∞が奇素数である公理系なんだろ
もう何でもアリだ