《キーワード:有理数、循環小数、位数》 $r\in\mathbb{R}$ に対し、 『$r$が有理数であるためには$r$が有限小数もしくは循環小数であることが必要十分』 が成り立つ。一般に、 $n$ を正整数とするとき、 『$r$が有理数であるためには$r$は$n$進法で有限小数…

公理系と仮定 $P$ から命題 $Q$ の証明ができる(これを$P\vdash Q$ で表す)とき、「 $Q$ は $P$ の演繹である」「 $Q$ は $P$ から演繹可能である」という。 これについてエルブランによる次の演繹定理が成り立つ: $P\vdash Q$ ならば、 $\vdash P\rightarro…

ただの備忘録