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

72(1): 01/23(木)00:15 ID:RQMzRIlW(1) AAS
数学が、異なるものを同じとみなす技術である限り、
自然数と実数を同じとみなすことも可能だろうと思う。
型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。