『解析概論』輪読

208：あしぺた：2006/03/01(水) 21:23:52: 今調べたら数学的帰納法も第二階の論理でないと表せないらしい

第二階の論理とは考えてる集合の部分集合に関して∀∃の記号がつくような論理

実数の連続性は、『任意の単調収束列に対して』といったふうだし
数学的帰納法は、自然数に関する任意の性質X (⊂N)に対しての命題だし、
どちらも第二階の論理でないと表せない。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板