最終更新日: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)
元となった例文