f: Power(A) - {Φ} ->A なる選択関数が、任意の集合について存在するという公理が選択公理である。実際に構成してみるのではなく、その存在を示しているという定理。 選択公理は、他の公理とは独立であるため、選択公理を採用しない集合論もあってよいはずで…