"Chi̍p-ha̍p-lūn" pán-pún chi-kan bô-kāng--ê tē-hng

Wikipedia (chū-iû ê pek-kho-choân-su) beh kā lí kóng...
刪去的內容 新增的內容
MerlIwBotthó-lūn | kòng-hiàn
Xqbotthó-lūn | kòng-hiàn
Tē 61 chōa: Tē 61 chōa:
[[nov:Ensemble-teorie]]
[[nov:Ensemble-teorie]]
[[oc:Teoria deis ensembles]]
[[oc:Teoria deis ensembles]]
[[or:ସେଟ୍ ତତ୍ଵ]]
[[or:ସେଟ ତତ୍ତ୍ଵ]]
[[pl:Teoria mnogości]]
[[pl:Teoria mnogości]]
[[pms:Teorìa dj'ansem]]
[[pms:Teorìa dj'ansem]]

2012-nî 7-goe̍h 30-ji̍t (pài-it) 03:53 ê siu-tēng-pún

A sī B ê pō͘-hūn chi̍p-ha̍p (subset).

Chi̍p-ha̍p-lūn (set theory) sī leh gián-kiù chi̍p-ha̍p ê sò͘-ha̍k lí-lūn, ah chi̍p-ha̍p sī kā chi̍t-koá thiu-siōng ê mi̍h-kiāⁿ (object) khǹg taù-tīn ê 1 ê khài-liām. Chi̍p-ha̍p-lūn pau-hâm sió-ha̍k tō ū siāu-kài ê chit-koá koan-liām, chhiūⁿ chi̍t-koá mi̍h-kiāⁿ chiâⁿ-chò 1 ê chi̍p-ha̍p, chi̍p-ha̍p ê goân-sò͘, chi̍p-ha̍p ê sêng-oân (membership). Chi̍p-ha̍p-lūn, lô-chek, ham it-kai lô-chek (First-order logic) sī hiān-tāi sò͘-ha̍k ê ki-chân (foundations of mathematics), sò͘-ha̍k ê mi̍h-kiāⁿ ē-tit ēng bô tēng-gī ê "chi̍p-ha̍p" ham "chi̍p-ha̍p sêng-oân" lâi khí-chō.