13/10/27 21:55:39.12
>>403
論理が破綻？？
集合やら自然数全体やらを導入したら破綻どころかそれだけ論理は豊かになるだろう。
与えられた式が論理式かどうかの必要十分条件があって、それで論理式全体の集合が
定義できるなんて、そんなことあるわけないだろ。
13/10/27 21:55:39.12
>>403
論理が破綻？？
集合やら自然数全体やらを導入したら破綻どころかそれだけ論理は豊かになるだろう。
与えられた式が論理式かどうかの必要十分条件があって、それで論理式全体の集合が
定義できるなんて、そんなことあるわけないだろ。