Since axiomatic set theory is expre

Since axiomatic set theory is expressible in first order classical logic, it can be reduced to category theory

ผลลัพธ์ (ไทย) 1:

ทฤษฎีเซต axiomatic เป็น expressible ในลำดับแรกตรรกะคลาสสิก มันสามารถลดการประเภททฤษฎี

ผลลัพธ์ (ไทย) 2:

ตั้งแต่การตั้งทฤษฎีซึ่งเป็นจริงจะแสดงได้ในลำดับแรกตรรกะคลาสสิกก็สามารถจะลดลงไปหมวดหมู่ทฤษฎี

ผลลัพธ์ (ไทย) 3:

ตั้งแต่ทฤษฎีเซตเชิงสัจพจน์เป็น expressible ในลำดับแรกตรรกศาสตร์แบบฉบับ มันสามารถลดทฤษฎีประเภท