25/11/03 16:14:04.55 u7vdmd1+.net
>>63
>人は、ZFCの外で思考している（思考できる）
↑素人の妄想 その１
前提なしに意味のある論理的思考はできない
これ豆な
>それに加えて、人の思考は 一階述語論理に縛られない
↑素人の妄想 その２
人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
これ豆な
>だ か ら、一階述語論理ZFに加えて「選択公理あったらいいね」が考えられるんだよ
↑素人の妄想 その３
選択公理は単なる前提であって、絶対的真理ではない
選択公理を否定する公理も、無矛盾であれば、論理的に意味がある
平行線公準が絶対的真理ではなく、
平行線公準を否定する公準も無矛盾であるから
論理的に意味がある、というのと同じ
これ豆な
＞あたま悪そうだな
カラスの世田 おまえがな
＞バカだな
カラスの世田 おまえがな