# 用戶討論:Hillgentleman

## 改

Florence Devouard 維基媒體理金理事會主席　二○○六年十二月

## 請評涼宮春日之文

• 僅需閱文句通順否即可--KOS-MOS 03:01, 20 十二月 2006 (UTC)

## 用字遣詞

• 還有「質言之」，不知貼不貼切，娃哈哈--啸啸生 二〇〇七年七月一七日 （二） 一四時二四分 (UTC)

## 造年

The only problem left on the project is to display century in Chinese number with no code leaving in the resulting page. Apparently, your modification has not solved the problem either. Also, I don't know if change the CalcBcDate with all these <includeonly>subst:</includeonly> such as good idea because it may become confused over time when out of sync with other language. You are welcome to use this page User:WikiCantona/試年‎ to test out the code. Boy, it was not supposed to that difficult.... --WikiCantona 二〇〇七年九月二四日 （一） 一六時四五分 (UTC)

1. that is right; it is not working yet
2. Template:CalcBcDate does not work under sustitution. There is no way around it; we must use template:CalcBcDate/subst. That is a well-known quirk. It is difficult, and often impossible, to support "subst" and "transclusion" with the same template.
3. There are some bugs when we apply the parser functions. We need to find where.
4. You made it more difficult in underestimating its difficulty. Always start testing with simple things. Don't jump into it right away. -- :-) Hillgentleman | , 二〇〇七年〇九月二四日(星期一), 格林尼治標準 二一時〇七分〇五秒 二〇〇七年九月二四日 （一） 二一時〇七分 (UTC)

• I believe that the bug is in template:CalcBcDate.-- :-) Hillgentleman | , 二〇〇七年〇九月二四日(星期一), 格林尼治標準 二一時三〇分五七秒 二〇〇七年九月二四日 （一） 二一時三〇分 (UTC)
• In particular, the parenthesis don't match, on the line

| d = {{#expr: 0 - ({{{1|1}}} + {{{2|0}}} - (10 * (2 * ({{{2|0}}} > 0) - 1) * (({{{1|1}}} * {{{2|0}}}) < 0 and ({{{1|1}}} * ({{{1|1}}} + {{{2|0}}}) < 0) or {{{1|1}}} = 0 and {{{2|0}}} < 0)))

and on the line

| y = {{#expr: 0 - ({{{1|1}}} + {{{2|0}}} + ((2 * ({{{2|0}}} > 0) - 1) * (({{{1|1}}} * {{{2|0}}}) < 0 ({{{1|1}}} * ({{{1|1}}} + {{{2|0}}}) <= 0)))) }}

. Please check.-- :-) Hillgentleman | , 二〇〇七年〇九月二四日(星期一), 格林尼治標準 二一時三六分五三秒

## 集論

Shinjiman代行 二〇〇七年一〇月二四日 （三） 一三時三八分 (UTC)

" 可不可解釋一下{}內的東西 " <--- 甲，一集也.-- :-) Hillgentleman | , 二〇〇七年一〇月三一日(星期三), 格林尼治標準 〇三時二三分〇四秒 二〇〇七年一〇月三一日 （三） 〇三時二三分 (UTC)

### en:axiom of pairing

${\displaystyle \forall A,\forall B,\exists C,\forall D:D\in C\iff (D=A\lor D=B)}$

or in words:

• For any set A and any set B, there is a set C such that, for any set D, D is a member of C if and only if D is equal to A or D is equal to B.

--from the english wikipedia

• if 甲，乙 are sets, then the collection {甲，乙} is also a set.-- :-) Hillgentleman | , 二〇〇七年一〇月三一日(星期三), 格林尼治標準 〇三時二三分〇四秒 二〇〇七年一〇月三一日 （三） 〇三時二三分 (UTC)

### en:Axiom schema of specification

${\displaystyle \forall A,\exists B,\forall C:C\in B\iff C\in A\land P(C)}$

For any set A, there is a set B such that, for any set C, C is a member of B if and only if C is a member of A and P holds for C. --from the english wikipedia

• I.e. one can "cut-out" a subset out of a set 甲, by specifying some property "命題乙". -- :-) Hillgentleman | , 二〇〇七年一〇月三一日(星期三), 格林尼治標準 〇三時二三分〇四秒 二〇〇七年一〇月三一日 （三） 〇三時二三分 (UTC)

### en:axiom of replacement

${\displaystyle (\forall x,\exists !\,y:P(x,y))\rightarrow \forall A,\exists B,\forall y:y\in B\iff \exists x\in A:P(x,y)}$
• If, for any set x, there is a unique set y such that P holds for x and y, then, for any set A, there is a set B such that, for any set y, y is a member of B if and only if there is a set x which is a member of A such that P holds for x and y.

--from the english wikipedia

• I.e. "the image of a set, through a function, is a set" - the LHS of the formula says: the binary relation P(x,y) is a function (see the L.H.S.); the RHS of the formula says: the image of any set A through function P is a set. ---- :-) Hillgentleman | , 二〇〇七年一〇月三一日(星期三), 格林尼治標準 〇三時三二分四七秒