Last Updated: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}}

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

Sentence quizzes to help you learn to read

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★