8 , ▁" In clusion ▁and ▁Connection ▁in ▁White head ' s ▁Point - free ▁Ge ometry ," ▁in ▁Michel ▁We ber ▁and ▁Will ▁Des mond , ▁( eds .), ▁Hand book ▁of ▁White head ian ▁Process ▁Th ought , ▁Frankfurt ▁/ ▁Lanc aster , ▁ont os ▁ver lag , ▁Process ▁Th ought ▁X 1 ▁& ▁X 2 . ▁Gr usz cz yn ski ▁R ., ▁and ▁Piet r usz cz ak ▁A ., ▁ 2 0 0 8 , ▁" Full ▁development ▁of ▁Tar ski ' s ▁geometry ▁of ▁sol ids ," ▁Bul letin ▁of ▁Symbol ic ▁Log ic ▁ 1 4 : 4 8 1 - 5 4 0 . ▁The ▁paper ▁contains ▁presentation ▁of ▁point - free ▁system ▁of ▁geometry ▁origin ating ▁from ▁White head ' s ▁ideas ▁and ▁based ▁on ▁Les n iew ski ' s ▁mere ology . ▁It ▁also ▁briefly ▁discuss es ▁the ▁relation ▁between ▁point - free ▁and ▁point - based ▁systems ▁of ▁geometry . ▁Basic ▁properties ▁of ▁mere ological ▁structures ▁are ▁given ▁as ▁well . ▁Gr zeg or czy k , ▁A ., ▁ 1 9 6 0 , ▁" A xi om at iz ability ▁of ▁geometry ▁without ▁points ," ▁Syn th ese ▁ 1 2 : ▁ 2 2 8 - 2 3 5 . ▁K ne eb one , ▁G ., ▁ 1 9 6 3 . ▁Mathemat ical ▁Log ic ▁and ▁the ▁Foundation ▁of ▁Mathemat ics . ▁D over ▁repr int , ▁ 2 0 0 1 . ▁Lucas , ▁J