IUTはSGAと同じでZFCGのフレームワークの中で数学をやっている