12/01/30 07:17:42.79
はじめはメタな視点を意識する必要がないという話しだが。
>>438の考えを認めるとすべての数学はメタな視点に基いている。
メタを意識する必要が出てくるのは不完全性定理や内部モデルから。
12/01/30 07:17:42.79
はじめはメタな視点を意識する必要がないという話しだが。
>>438の考えを認めるとすべての数学はメタな視点に基いている。
メタを意識する必要が出てくるのは不完全性定理や内部モデルから。
12/01/30 07:17:42.79
はじめはメタな視点を意識する必要がないという話しだが。
>>438の考えを認めるとすべての数学はメタな視点に基いている。
メタを意識する必要が出てくるのは不完全性定理や内部モデルから。