対角線論法っておかしくね？

70: 01/20(月)22:12 ID:N4HREpqq(1/2) AAS
空のクラスは存在するのか。
ある種の型システムによって、真のクラスは存在しない、とする。
クラスは、集まりによって定義されるのだとすれば、
空集合のクラスは色のないクラスだ。

71: 01/20(月)22:53 ID:N4HREpqq(2/2) AAS
無限は存在しない、とする。
記述は有限だ。
数を比較するのではなく、数の公理システムを比較する。