acが存在を主張する特定の集合の定義可能性(または不可能性)を明らかにしようと、数多くの研究がなされた。