Someone once said to me (and it sounds true) that using a non-well-founded set theory you could so axiomatize projective geometry that *both* a line is identified with the set of points lying on it *and* a point is identified with the pencil of lines passing through it. Can anyone give me a reference for somewhere this is actually done? Robert