12/01/03 08:08:12.53
直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。
URLﾘﾝｸ(taurus.ics.nara-wu.ac.jp)
12/01/03 08:08:12.53
直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。
URLﾘﾝｸ(taurus.ics.nara-wu.ac.jp)
12/01/03 08:08:12.53
直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。
URLﾘﾝｸ(taurus.ics.nara-wu.ac.jp)