新しいのはいいんだが、新しいんだから通常の基礎論使わないなら新しい基礎論のルール書けっての