集合論を数学の根底に置こうとする人間がプリンキピア・マテマティカ推しってのも少しずれてるような