トップページ > 数学 > 2019年02月19日 > JcDLv2D+

書き込み順位＆時間帯一覧

12 位/80 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000020000002



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
数理論理学（数学基礎論）　その13

書き込みレス一覧

数理論理学（数学基礎論）　その13
831 ：１３２人目の素数さん[sage]：2019/02/19(火) 17:11:50.20 ID:JcDLv2D+
「わしらの住む宇宙はZFにルールに従うか？」とか聞いとるのか？
メタレベルで使う「集合」とは何ぞやてか
数理論理学（数学基礎論）　その13
832 ：１３２人目の素数さん[sage]：2019/02/19(火) 17:18:16.85 ID:JcDLv2D+
基礎論門外の人はメタとか対象とかとは考えず、
論理式や公理的集合論の記号を自然言語でやる議論は
曖昧で間違い易いので導入した記号って考えるよね。
1階の述語論理よりは高階の述語論理的見方で考えるのが普通の感覚か。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。