Report - mizar - 国立大学法人信州大学cai3.cs.shinshu-u.ac.jp/Lecture/SetTheory3/mizar/mizar.pdf1.1. TARSKI.miz 7 1.1.2 非順序対の定義次の記述は,x一つだけからなる集合{x}とx,y

Please pass captcha verification before submit form