ラッセル・ホワイトヘッドの型の理論と何が違うんだ?