面積を測れない図形ができる、じゃなくて、この面積の定義からは矛盾する、ってことだぞ
加法性を満たす、という要件を外してやればそれも面積だ