Re: Ordered pairs and replacement

On 2008-02-16, in sci.logic, Aatu Koskensilta wrote:
Indeed, an obvious solution suggests itself: let [,]: V x V --> V be
the usual Kuratowski pairing function

[x,y] = {{x}, {x,y}}

and define a function <,> : V x V --> V by setting

<x,y> = [[x,y],[x,P(x)]]

Argh. That should be

<x,y> = [[x,y],P(x)]

(Perhaps I shouldn't try writing proofs in a state of prolonged sleep
deprivation...)

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.