Axの定理なる定理を知った。 主張自体も面白いけれど、その証明がとても興味深い。 無限個の公理の上に成り立つ定理は、有限回の手順で証明されるから、有限個の公理のみで定理が成立する。 なんか、ほんとにそれでいいのかって気もするようなことがきちんと…

講義に出て、数学の本を読んで、電車に乗って小説を読んで、バイトをして、バイト終わりにお酒をひっかけて。 そんな風にして一日が終わっていく。 進んでいる気もするし、進んでいない気もする。 形式の整うことを好む性格は、融通が利かず、かえって無駄な…