なんか、当初はIUT4の基礎論のパートは主要定理とは無関係のおまけって話だった気がするんだが。
別にこれなしでも大丈夫という。
いつの間にか一番重要なポイントと言い出しているのが気になる。