未ログイン ／ ログイン

articles3/3.book（保存済みの内容） … 編集へ / ファイル一覧へ

ページ 1 / 3 … 1 2 3 … 次のページ →

有理数の可算性
import 0-pa.book

1 2の冪と奇数

\(2^a(2b+1)\) の形の表し方は1通り（Linj）。
Linj … \(a , b , c , d \in \mathbb{M} , 2 ^ a \cdot ( 2 \cdot b + 1 ) = 2 ^ c \cdot ( 2 \cdot d + 1 ) \Longrightarrow a = c , b = d\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，𝕄0s ，IND𝕄 ，suc𝕄 ，+𝕄 ，*𝕄 ，↑𝕄 ，1. ，2.

ページ 1 / 3 … 次のページ →