正項等比数列\(\{a_n\}\)に対して\(\sqrt[n]{a_n}\)を考えると、これは\(n\to\infty\)で公比に収束する。そのイメージ。 \[3,6,12,24,48,96,192,\cdots\] 初項がいくらであっても、\(a_n\)から公比のn乗を引っ張り出して来ることができる。 \[\frac{3}{2}\ti…

「論理式\(F(x_1,x_2)\)が関数\(f(x)\)を表現する」 の定義は 任意の自然数\(\rm q_1,q_2\)に対して、次の(α)(β)がともに成り立つ。 (α)\(\rm f(q_1) = q_2\)であるとき\(\vdash F(\bar{\rm q_1},\bar{\rm q_2})\) (β)\(\vdash\exists!x_2[F(\bar{\rm q_1},x…