23/12/13 17:14:25.79 RiabRY1l.net
>>442
>いつも指摘しているが、英語版を併読するのが正解ですよ
・・・とイキってみても日本語も読めないのに英語が読めるわけもなく
やっぱり圏論のページに逃げてトンチンカンな引用でごまかす
>”数学の基礎として公理的な集合論の代替として機能する”
>”カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野”
上の二行には、ラッセルパラドックスを解決するって書いてないですよね 幻視？
23/12/13 17:14:25.79 RiabRY1l.net
>>442
>いつも指摘しているが、英語版を併読するのが正解ですよ
・・・とイキってみても日本語も読めないのに英語が読めるわけもなく
やっぱり圏論のページに逃げてトンチンカンな引用でごまかす
>”数学の基礎として公理的な集合論の代替として機能する”
>”カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野”
上の二行には、ラッセルパラドックスを解決するって書いてないですよね 幻視？