最終更新日:2022/12/24

{{quote-web|en|7-2-2011|Samson Abramsky|Introduction to Categories and Categorical Logic||http://arxiv.org/abs/1102.1313|It turns out that ordered pairs can be defined in set theory, e.g. as (x,y):=x,y,y. Note that in no sense is such a definition canonical.|coauthors=Nikos Tzevelekos|page=19}}

音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)

Sentence quizzes to help you learn to read

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★