R^n上のすべての部分集合が可測となるような公理を仮定する。
この上で、可測集合、積分、可積分関数を定義し、L^1(R^n)が完備であることを証明せよ。

さあ、語れ。