>>916
「集合論と同値な体系であながち無意味とは言えん」　と、
言っておる御仁も居るようだが。