>>23-24

ツール1：
とりあえず、ガリレオの新科学対話が理解できる幾何のレベル。
（証明がバンバン出てきます。）

ツール2：
ルイス・キャロルは数学者で論理学者でしたが、彼の『ものの宇宙』とかが
楽しめるくらいの集合？の知識。

まずはこの2つのツールをゲットしたいのです。