基礎論も集合論も数学じゃないからな