コンパクト性定理こんぱくとせいていり<こんぱくと・せい>・てい'り8

Math.Kompaktheitssatz