集合論を基礎におき、集合にある数学的構造を定め、それによって数学的現象を説明しようとする態度。