非可述な定義
定義されるところのものを含む総体に対する言及を含んでいるような定義。
可述算術の世界
より