aspetti logici della geometria euclidea piana

23

Upload: mentat59

Post on 06-Apr-2018

235 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 1/23

¢ ¡¤ £¦ ¥ §© §¤ ! ¥ " "$ #

%¢ ¥ &' ¥ §¤ (© $ #0 )2 1! " ! ¥3 #5 42 $ #7 68 #

97 @B AD C$ EF @B GF C$ EF @B GI H! P¤ @R QS C$ AT PU P¤ @

VX WU W

G

V! YD YD `

P¤ AD aI @

Y

G bD cF c¤ be d cF f

gU h! i p$ qF r© st h! r© ue vt vR w8 xy ue hF ! ue p$ sR w© F F ue vt vt uX i$ qF u D wT st u hF ! uT F © wX e hT i p st p$ qF st p h8 q© © w! © wT p u

ue i i u F e sR wD vt u B uT © © u i ue e hT vt s © v q© F st w¦ wD e e ue p p$ wT F st vt u r© ue vt vR w¦ 8 wD p u 8 wD p st w© hF 8 i p$ q© F st i e u

r¤ q© F © qF uX e F uy © hF © st h¦ F ue vt v w hF T p$ wT uy © hF F vt u ! sU r¤ w! ue i i$ wX i wD p$ q© st p sU uy F ue v¨ p u T p$ wD p st T h

r© s¨ st i hT vt T u vt sU i s¤ i sR wT F h! sR T p$ hF r© hT p p sU © u vR w! © sR 8 wX T hT vt p$ wX F qF hD F sU ! ue p hF r© s¤ uy F hT e st hF F sU e F u

i hF F h¦ © hT s¨ r© st T u T p$ wD p s © wD p$ sR ! hF F st h8 e hF ! q© F uy r© ue vt vR w 8 wD p u 8 wD p st w©

hF ! u¦ i s r© ue r¤ qF e u r¤ wD v p st p hT vt h¤ 3 st vy F hT i p$ hI sR T p u ue i i u © qF s F hF 2 i p$ wI F ue v p$ wD p p$ wT u

i st i p u 8 wD p st wT ! u T p u q© © wy hy F s q8 © wT p sF r© ue vt vR w! xy ue hF ! ue p$ sR w© T 8 w F ue vt v st i hT vR wT uy wD vt q© F sU ! hD

! u T p sF r© ue v© i$ qF hy r© st T u F sR u e F u © wT © F hy sR T p u ue i i u7 r¤ wy q© ! © q© T p hy r© s© F st i p$ w hF F r¤ wD e st hF © wD vt uT j

! hF ! u T p s¨ sR qF s s © hF F vt u ! s¨ S q© hF F h8 kT ue hF ! ue p$ st e s i hT vt p$ wT T p h8 © u y wD e e st r© u T p uX i p hF st e h¤

uX vt uy i hT vR qF e st hF F s st e F st ue i u h¦ sR © F hD D wD e st hF F s r© s © wD p$ q© w! kT u F u wD vt uX h8 vt hT kT st w©

l p st p hT vt sU r© ue vt vt uy i ue e st hF F sU i hF F hX i p$ wD p s© i e ue vt p sU © u i$ qF kT kT u sR u w m F st p¤ nwX e hF ! vt h! i F st vR q© © © h

r© ue vt vR wo gU hT kT st w o wD p u 8 wD p st w© ¨ sR © wT p st e hT vR wT u¦ r© s © qF ue vt vt u © wT p s r© s7 ue i i$ w e F u¦ i s i hF F h

sR T p u ue i i$ wD p u8 wD vt vt h i p$ qF r© st h r© ue s hF F r¤ wT ! u T p s ! g¨ w¦ e hF F hT i e u F w r© s3 p$ wD vt u! i F st vR q© © © ho F hF

u¦ F ue e ue i i$ wT sR w© j! wT F e s st v F hT i p$ h i e hF © h2 u¦ wT © © q© T p h © qF ue vt vt hI r© s7 ! hT i p$ wT u8 w e F s7 F hF

vt h¦ e hF F hT i e u B uX st e hF r¤ wT u8 w! e F s vt h¦ e hF F hT i e u e F uX vt u8 F hT e st hF F s © wD i st vR wT s r© ue vt vR w gU hT kT st w

o wD p u 8 wD p st w8 i hF F h¦ i wD p$ q© st p u! r¤ w © hF F vt u ! s3 e hF F ue p s r© s 8 wD p u 8 wD p st w8 T u w© ¤ u! e F u

© qF ue i p s F uX e hT i p st p$ qF st i e hF F h¦ wT F e hF w! vR w8 ! st kT vt st hF u! st vt vR qF i p$ wD e st hF F uT

3 s qX sR ! kT u F u wD vt uT F F ue vt v u w r© s© © qF hT p hy © q© © F vt st e st p$ wT st h¦ F ue vt vR wy © q© wD vt u7 e s© p hF e w F st T u uT

F hF 2 i hT vt ho q© 8 wT © wT ! u T p u 8 wI wT F e F u 8 wD p u 8 wD p st wT ! u T p uT u e F u © wI e hF ! u8 U F u vt h

i F st vR q© © © h2 u F hF 2 st v © hT kF ue i i h¤ 3 st T hT vt kT u u q© F ho i kF q© wT r© ho wD vt vR wI i p hF sR w e s7 sR F i ue kF F u w

i sR w e hF ! u8 s wT ! F sR wT ! u T p s7 © hD hF F r© s i s7 © ue i u T p sR F ho wD r2 q© 2 st p$ ! h i ue e hT vR wT u¦ u¦ F hF

i ue p p sR 8 wT © wD vt uT T e F u7 r© hD T u i p sR wT F hy vt u wD r© st e s© u7 vt u kT sR qF i p s ¤ wD e st hF F s¤ r© ue vt vt uX t F hD F st pD w© e r© s© hT kT kT s

g w p$ wD p p$ wD e st hF F u¦ p ue F st wI r© ue s st i$ qF vt p$ wD p s7 © qF s7 e st p$ wD p sy u¦ ue i$ © hT i p$ w sR q© © wI i u st u r© s

wT © © u F r© st e s

Page 2: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 2/23

¢ ¡¤ £ ¥§ ¦¤ ¨ © ¦¤ © !# "

hF ! u2 st v! i$ qF h i p ue i i h F hF ! u st e hF r¤ w© X vR w xy ue hF ! ue p$ sR w¢ % $' &) (¤ j p u w© y u1 02 & 35 46 & 7% 8 j

! st i$ q© wT S qo wD kT vt s3 sR F st e s wD kF sR ! u F i$ q© w© hF ! u! p$ wD vt u8 ue i i$ w sR q© T 9 q© © w i u st u8 r© s hT i i u S

D wD e st hF F s e F u! S q© hF F h i e hF © u p u8 r¤ wD kT vt s# @3 kT st e s u! r¤ wD s# A7 wT F st vt hF F ue i s7 sR o ! hF r© h u 8 F sR st e h¤

B

vt q© F u! r© s p$ wD vt s hT i i u D wD e st hF F s u wT F h¦ e hF ue p p uT ¤ wD r ue i u 8 F st h vR w! hF ! qF vR w8 © u st v T hT v

q© ! uo r© ue vX p$ hF F e h r© sX F sR wT ! st r© u2 © q© wD r¤ wD p$ w F hT p$ w wD kT vt sC @3 kT st e sR e y h st vC D¨ ue hF u 8 w r© s

3 st p$ wD kT hF wI F hT p h wD s¢ A7 wT F st vt hF F ue i sR F E wD vt p$ u8 © u h u wT F h u wD p uT U wD rI ue i u 8 F st h st v3 S wD p p h

e F uy v wT u w! r© s¨ q© ¦ © q© wD r¤ st vR wD p u h¦ r© sU vR wD p sH G¤ ID P uC Q! hT i i uS RU T) V W5 X5 RU Y5 V `a X

b

B e hF ! u ue r© ue p

p u h kT vt sc @3 kT st e sR e e d8 h e F u¦ vR w e sR e hF T u u F wI r© s q© o e u e F st ho ! st i$ q© wD i i u¦ p$ u¦ T hT vt p u8 st v

r© sR wT ! ue p$ hI B e hF ! uy ue r© ue p p u h8 sH A7 wT F st vt hF F ue i sR e

g w i e hF © u p$ w r© ue v S wD p p h e F u vt uI sR T p$ qF st e st hF F s 7 8 wD p u 8 wD p st e F u © hT p ue D wT F hI kT st hF wT u

© qF p p s i e F u e s © hD T hF F hI q© F hI i p sR ! hT vt hI sR T p u F ho wD vt vR wI kT sR qF i p s ¤ wD e st hF F u r© ue s st i$ qF vt p$ wD p s

8 wD p u 8 wD p st e s g f F h8 i p sR ! hT vt h8 ue i p u F h8 r© u st ¨ h¦ r¤ wD v ! qF p$ wT ! u T p h8 © hT vt st p st e h¤ U © q© wT F r© h8 vR w

r© u ! hF wD e sR wy kF ue w i hT i p st p$ qT 9© st v© p hT p$ wD vt st p$ wT st i$ ! hX © wT F st vt hF F ue i u ue r8 ue kT st e sR wT F h¤ j3 q© ! sR T p ue vt vt ue p

p$ q© wD vt uX kF ue e h¦ F hF © hT p ue D w8 e u p h¦ wD e e ue p p$ wT u r© s © qF hF kF wD r© h8 vR w! i hT vR qF e st hF F u! hF wD e hT vR wT u

r© sX q© © hF F vt u 8 w© y i ue kF qF st p$ w2 r¤ w q© uI i e hF © sR wD sy e F u uI e hT i9

R e hF ! uo F ue v! 3 wT F sR h

r© s I hT i w B e F uI sR © hF p$ wo vR wI hF ! qF vR w© kT sS wo e st p$ wD p$ w© © u 8 st v T hT vR q© ! uI r© ue v p$ hF F e h2 r© s

F sR wT ! st r© u! © q© wD r¤ wD p$ wT e F h8 r¤ w8 q© I © qF ue i p h uy st v © hF e ue r© sR ! u T p h¤ R © e hF ! uX sR ! hT vt p uy p$ w T

hT vt ue p p uy q© F ue s hF ! s

D wD vt ue p u8 r© s I st vt ue p h 5 hp i' q r sp i' h

B

e ¨ q© F h r© ue s r© ue p p u8 i$ wD kT kT s3 r© ue vt v wT T p st e F st pD w© 3 ue i

i u F r© ho w e hF F hT i e u F w r© ue vt v sR F ue i$ wD p p ue e wI r© s7 wD vt q© F s7 r© ue s7 st i$ qF vt p$ wD p s r© ue kT vt sc @

3 kT st e s u8 r© ue s

A7 wT F st vt hF F ue i s sR T p$ hF r¤ qF i i u r¤ q© F © qF u st v e hF F e ue p p ho r© sC t 7% 02 (p uv 35 46 wp xv 7% ( 8y &F ue r sR F st e sS h q© F h

i F st vR q© © © h vt hT kT st e h © hF © wT F st vR ! u T p uI sR T p$ qF st p st T hF 8 r© ue vt vR w kT ue hF ! ue p$ sR w© g¨ wo i st i p u 8 wD p st $

wD e st hF F u¦ r© ue vt vR w kT ue hF ! ue p$ sR w F sR wT © w e hF T p sR F q¨ hI wD p p$ w T u i h 3 st p$ wD kT hF w¦ r© sg © wT ! h2 5 s q r

s q q

B

e ¤ u! i s e hF F e vR qF i u8 e hF kT vt sg g e & 02 & 8y 35 7 r© s lS © © hF wD p u! r© s F st hT i¦ % i i' q

B

e F uT T i u © © u F uy © u r¤ qF p s T i s¤ st p st u F u e hF © st i i u hX s¤ © sR ! s© © q© wD p p$ h vt sR © s¤ r© ue kT vt sg e & 02 & 8y 35 7

r© sH @ qF e vt st r© u 5 q q

B

e

¢ ¡5 ¤ y © !# " " ¦¤ © "y ¤ "

g wX F qF hD D w r© st i e sR F vt sR © w8 8 wD p u 8 wD p st w r© st T u © F uy © ue i p hy q© 8 ! hF r© ue vt vt h! r© s¤ wD kT st hF © wT ! u T p h¤

8 w8 ue e u¦ wT F e F u8 i hF kT u u8 F qF hD F s © hF F vt u ! s r© s kT sR qF i p s ¤ wD e st hF F uT 3 vR wD p hF F uI % i' r p i'

B

i s sR T p u ue i iD hI wD vt vR wI © wD p$ q© w r© ue kT vt s (a $ $' & 35 35 7 8 wD p u 8 wD p st e s u¦ e u F h r© s i$ F st ue kF wT u

e F uX e hT i$ wy hT i i u h8 vt uy ¤ kF q© uy r© s¨ qF s¨ i s¨ p$ wD p p$ w D w! F ue vt vR w8 kT ue hF ! ue p$ sR w©

g wX i$ q© wX i hT vR qF e st hF F uX wD vU © hF F vt u 8 wX S q8 st v¨ F qF e vt ue h8 r© sU q© © w! F qF hD D wy ¤ vt hT i hD U w© j3 vt u ¤ kF q© u

5 y a ¤ 6 C ¤ ¢ ) p ) v 5 ) j5 ¤ ¤ kS lC mo n 6 U % n % 5 U p a p ) a a z {6 F |a a }5 ka j5 a z j5 k2 zp ¤ H ~6 ) }5 kC ¤

¤ 6 j5 j5 a zp ) ka kC e zp ¤ y ) p a y ~6 ) }5 kc c S ¢ ¢ ¢ H g U ka }% ' 5 v p ~6 g p ) }5 ¢ ¤ ¢ a j5 6 {6 {6 ¢ zp ka z

zC ) ¤ zp ¤ ¤ a )

Page 3: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 3/23

kT ue hF ! ue p$ st e F uX i hF F h8 vt u 7% t &) w e 7U x) xv wp xv 7% ( 8y 7 B h8 vt uy hF ! u¡ $ r© ue kT vt s hT kT kT ue p p s¤ ¤ i st e s3 © u e u F st p s

! ue r© sR wT T p u¦ vt u i u F i$ wD e st hF F s o hT st e U u8 p$ wD vt s st r© u wD vt st e wD e st hF F s¦ B h 7% t &) &D X © hT i i ue kT kT hF F hI q© © w

© u S ue e st hF F uo e F uI kT vt sy hT kT kT ue p p s! B e hT i 9 e hF ! uI T u F kT hF F hF ¦ © u e u F st p sX F hF © wT © F h¤ ue i i u

F hF i hT vt h2 ue i st i p hF F h2 sR F r© sR © u F r© u T p u ! u T p u2 r¤ wo © qF ue i p s u e hT i p st p$ qF st i e hF F h q© ! hF F r© h

© wT wD vt vt ue vt h w2 © qF ue vt vt h i u F i hF sR wD vt uT y 8 w2 i hF F h wD r© r© sR st p p$ q© w vR w T u w© 7 u wD vt pD w© r© sy qF s

st v ! hF F r© hI i u F i hF sR wD vt uI u8 i hT vt p$ wT T p hI q© © wI © wD vt vt st r¤ wI sR 8 8 wD kT sR F u2 q© 2 ! hF F r© h r© s7 hF ! © u

© u e u F st p u! i$ qF vt vt u8 © wT ue p sU r© s q© © w8 w T u © wT e

g wy kT ue hF ! ue p$ sR wy r© st F st u F uX r¤ q© F © qF u st v¨ ! hF r© h! wD p p$ w T u i h qF s¨ F hT s¤ T u F sR wT ! h! wy e hF F hD

i e u F wI r© ue v ! hF F r© hI r© ue vt vt u st r© ue uT u e hF ! u¦ p$ wD vt u wD e © qF st i p$ wo q© © w sR 8 © hF p$ wT F w hF F r¤ w

! u T p$ wD vt uT j i$ qF vt vR w! © hF p$ wy r© ue vt v

B

e wD r© u ! sR w© ¤ q© ¦ ! hT p p hX wT 8 ! hF F st D wy e F u F hF 8 r© hD T ue D wT F h

u T p$ wT uy e hT vt hF h8 e F uy vR w8 st kF F hF w D wT F h¤

hT st e U uX 3 vR wD p hF F uX T ue r© ue D w F ue vt vR w 8 wD p u 8 wD p st w! i hT vt p$ wT T p h¦ q© I ! hF r© h © u T u F sR u8 w

e hF F hT i e u F wy r© ue vU ! hF F r© hX r© ue vt vt uy st r© ue uT F e F u w T ue D wy q© © wy i$ q© wX u wD vt pD w sR F r© sR © u F r© uD T p uT © ue kT vt s

F hF ! i hT p p hT vt sR F uF h! © wT p st e hT vR wT ! u T p u7 st vU qF hT vt hX r© ue vt vR wX r© ue r¤ qF e st hF F uT j3 ue i i$ wX © hT p ue D w i hT vt p$ wT T p h

u F r© u u! ue i$ F vt st e st p hI e sS h e F u! u w8 kT sS w¦ T u h¦ sR F r© sR © u F r© u T p u ! u T p uT 8 lS I © wT p st e hT vR wT uT U vR w

e hF ue p p ue e w r© ue s¤ p ue hF u ! s¤ F hF ! © hT p ue D wy e u p hy r© u st D wT u r¤ wD vt vR wX e hF ue p p ue e w r© ue vt vR wX vt hF h

r© sR ! hT i p$ wD e st hF F uT ¤ © u F i 9 i hT vt p$ wT T p hX r¤ wD vU S wD p p hX e F uX ue i i sU r© ue i st T ue i i u h¦ q© © w! i st p$ q© wD e st hF F u

r© sU S wD p p h¤

D wD vt u8 wD p p ue kT kT sR wT ! u T p h¦ wT ! F sS h e hF

B

st i p hT p ue vt u 5 p ip r

B

e ¤ e F u! i s3 sR T p u S

ue i iD ho wD vt vR wo © wD p$ q© w r© ue vC 02 & 35 ( t (o 8 wD p u 8 wD p st e h¤ o ue vt v £ ¢c 4% $' w 8y ( 8 u F ue vt vR w¥ ¤ & 35 w§ ¦# uv 7© ¨) w

ue kT vt sF i st i p u 8 wD p st e F h vR w vt hT kT st w e hF ! u i e st u F w r© ue v© wD kT st hF © wT ! u T p h¤ e u F q© F e sR wT F r© hy e F sR wT w

! u T p u e F u vt u i$ qF u vt ue kT kT sF u wT F h i p$ wD p u3 i 9D hF ! qF vR wD p u i$ qF vF ! hF r© ue vt vt hy r© ue vt vt u7 r© sR ! hT i p$ wD e st hF F s

8 wD p u 8 wD p st e F uo wD ro ue i u 8 F st h¤ vR w vt ue kT kT u¦ r© s7 e hF T p$ wD r© r© st e st hF F u i$ qF v ! hF r© ue vt vt ho r© ue vt vt u r© s

! hT i p$ wD e st hF F s© sR F r© sR ue p p u e F 8 wy wT F e F u e F u ue i i$ w r© hD T ue D w ue i i u u e hF F i st r© u wD p$ wy sR F r© sR © u T

r© u T p u! r¤ wD vt vR w 8 wD p u 8 wD p st w© ¤ u8 wD rI ue i i$ w¦ © ue e ue r© u T p uT ! lS I © wT p st e hT vR wT uT U vR w r© ue r¤ qF e st hF F u

r© hD T ue D w ue i i u u v q© F st e h! ! hF r© hy r© s¤ i p$ wT F st vt sR u vR wy T u st pD w r© s¤ q© ! u F q© F e sR wD p h! 8 wD p u 8 wD p st e h¤

¢ ¡© p p ¦¤ © ¨ y ¦¤ ¦¤ © !# "

lX p u 8 F s7 u wT F ho hF 8 wD s 8 wD p$ q© s7 © u ¦ q© 2 p$ wD p p$ wT ! u T p h r© ue vt vR w2 kT ue hF ! ue p$ sR wI F sR wT © wo sR

hF 8 wX st kT hF hT i$ w© T i ue e hF F r© h! st v¨ ! hF r© ue vt vt h wD i i st hF 8 wD p st e hX sR T p$ hF r© hT p p hX r¤ w2 @ qF r© hT i i h % i' q r

s s

B

e st v F s q2 kF wT F r© u 8 wD p u 8 wD p st e hI r© ue vt v wT T p st e F st pD wI r© hF © h

B

e F sR ! ue r© u B u¦ sR T

T u T p hF uy r© ue v ! ue p hF r© h8 r© s¨ ue i$ wT qF i p st hF F uX uX r© ue vt vR w8 p ue hF sR w8 r© ue vt vt u8 © hF © hF e st hF F sR e ¤ uy i st i p u X

wD p st e wD p h8 r¤ w

B

st i p hT p ue vt uT

@ qF e vt st r© uT © wD i$ wT F r© hT i s i$ qF kT vt s g e & 02 & 8y 35 7y r© sy lS © © hF wD p uT © hF r¤ qF i i u s gU sR © sy l% r© l£

r© ue s i$ qF hT s g e & 02 & 8y 35 7$ ¥ y qF ue i p s! B e F u F hF i s7 vt sR ! st p$ wT hF F h wD vt vR wo kT ue hF ! ue p$ sR w© 7 F sR wT © wI u

i hT vt st r¤ w© F 8 w sR F e vR qF i u h8 wT F e F u7 vt u p ue hF st u7 r© ue s¤ F q© ! u s© u r© ue vt vt uy © hF © hF e st hF F sR 3 r© st T u © F u h

) U 6 p ¤ 5 |a c a z j5 kc " !$ #$ %' &p a ¤ U ka

Page 4: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 4/23

st v p ue i p hI i$ wD hI r© ue vt vR w 8 wD p u 8 wD p st wI kF ue w© 3 u e hF F hF © © u h2 q© © wI hF p$ q© © w ue r© st p hF sR wD vt u

st D wD vt ue kT kT sR wD p$ w i hT vt p$ wT T p h r¤ wD vt vR w¡ c 7£ ¢¤ ¢v 7% w8 F ue vt vt u7 i$ qF u3 r© st T u i u T u i st hF F sR e T w7 p ue i p sR ! hF F sR wT F w

r© ue vt vR wX i ue e hT vR wT u wD p p$ wD e st hF F u r© ue kT vt s¤ hF © © hT i p sF ue i p$ u ! st i$ ! s © u F i st u h! wD e st hF © wD vt u u ue r© u e

u ¦ © q© wT T p h st kF q© wT r¤ w2 vR w r© ue r¤ qF e st hF F uT C @ qF e vt st r© u uI ue i$ F vt st e st p h F ue vy i u © wT wT uI vt u

wp u) u¦ ¥' 8 xv 7% ( 8y 7¤ r¤ wD sy 35 &) ( 46 & 02 7$ lS X e sS hy ue kT vt sF i ue kF qF u

B

st i p hT p ue vt uT D e F u7 F st r© u7 e F sR wT wT ! u T p u e F u

t F hF p$ qF p p h © q¨ h ue i i u uX r© sR ! hT i p$ wD p h¤ U © u e U uX © qF ue i p h © hF p u u © © u¦ wD rI q© I ue kF ue i i h

sR T U F st p h¤ 3 ¤ & 35 w§ ¦# uv 7© ¨) w¨ § i¤ q q hT wC h r ©T e

@qF e vt st r© u i u © wT wy wT F e F uT T r¤ wy q© ! wD vt p$ hX © q© T p hy r© s© F st i p$ w©

y e (a $' 7© ¨) wy u

02 w 35 & 02 w 35 7© ¨) w¤ lS

© wT p st e hT vR wT uT ¨ vt u¦ wD i i$ q© F e st hF F s i hF F h r© st F st i u¦ sR wp u) uv 7% ( 02 77 vt hT kT st e sy B r© ue p p s wT F e F u8 F hT e st hF F s

e hF ! q© F sR X u (p uv 3£ ¥' e w 35 7y 8 wD p u 8 wD p st e s

B

F e F u¦ © qF sg @ qF e vt st r© u i ue kF qF u

B

st i p hT p ue vt uT e F u

r© st i p sR F i u! vt uX T u st pD w! e hF ! q© F s¨ wD r hT kF F s¨ i e st u F w8 r© ue r¤ qF p p st D w8 r¤ w8 © qF ue vt vt u8 © hF © st uy r© s q© © w

© wT p st e hT vR wT uX i e st u F w©

l3 © hT i p$ qF vR wD p s¤ kT ue hF ! ue p$ st e s¤ r© s @ qF e vt st r© uX i hF F hX i hT vt hX e sR F © qF uT ¤ wT F e hF wy sR ¦ wD e e hF r© hX e hF

Bst i p hT p ue vt uT i ue e hF F r© hI st v © q© wD vt uI vt u i e st u F e uI © wD i$ wD p u8 i$ q © hF e F u wD i i$ q© F e st hF F s i hF F hI vt u

F s qo ue i$ wD p p uT ¤ & 35 w§ ¦# uv 7© ¨) w

B

© © T wF s r T e 8 g¨ w vt hF h kT u F ue i s i s © q¨ h S wD e st vR ! u T p u

sR 8 8 wD kT sR © wT uT j st v gU sR © hI l i s e hF F e vR qF r© u¦ e hF st v# D¨ ue hF u 8 w¦ r© s 3 st p$ wD kT hF wI B uX st v i$ qF h sR T

T u i hF e T uy i s¨ © q¨ h! vt ue kT kT u uX wD vt v sR F r© st ue p$ h¦ e hF ! u vt h8 i F st vR q© © © h¦ r© ue s¨ st i$ qF vt p$ wD p s F ue e ue i i$ wT s¨ w

© u ! ue p p u uy vR w! r© sR ! hT i p$ wD e st hF F uy e F uC @ qF e vt st r© u8 w T ue D wX sR ! u T p u8 ! ue pD wX r© ue vt vt u8 hF © hD

i st e st hF F s! © ue e ue r© u T p sy i hF F h qF i$ wD p uI F ue vt vR w r© sR ! hT i p$ wD e st hF F u e y qF ue i p h © hF e ue r© sR ! u T p h

r© sU r© u st D wD e st hF F uX r© ue sU © hT i p$ qF vR wD p s B r¤ wD vt vR wX i hT vR qF e st hF F uy r© s¨ q© ¦ © hF F vt u 8 wT u wT wD p p u st i p st e h

r© ue vt v wD i i st hF 8 wD p st e wD e st hF F uX 8 wD p u 8 wD p st w© D ue r u7 e hF T p$ wT © © hT i p hy wD v¤ © hF e ue r© sR ! u T p hX r© ue p p h

r© s st kT hF uy sR T hF 8 wD vt u B T ue r© sH F ue e st hF F u2 q© hT e

B

F e F u vt uI F hT e st hF F s e hF ! q© F s i hF F ho e sR F © qF uT q© © wo r© ue vt vt uI © q© wD vt s8 5 © j e hT i u qF kF q© wD vt s

sR 8 wT F kT hF F h qF kF q© wD vt sX i uI T u F kT hF F h vt hF h i hT p p$ wD p p u e hT i u2 qF kF q© wD vt sR u w2 i p$ wD p$ wo e st p$ wD p$ w

ue i$ F vt st e st p$ wT ! u T p u! r¤ w

B

st i p hT p ue vt uX e hF ! uy ue i u 8 F st h¦ r© s¨ T u st pD w! vt hT kT st w©

b

u U © q© wT T p h st kF q© wT r¤ w vR w7 i sR T p$ wD i i s p @ qF e vt st r© u F hF i u © wT w7 sR T T ue e u 8y (p xv 7% ( 8y 7' t &£ ¦g 8y 7% 35 &

r¤ w 8y (p xv 7% ( 8y 7 7% 8y t &£ ¦g 8y 7% 35 &F hT i 9© ue kT vt s© e u wy r© s¤ r© u$ U F sR uy © q© T p s¤ u ue p p uT T e hF ! r© u$ U F st e st hF F s

e F u F hF y r© u$ U F st i e hF F h! F qF vt vR w8 q© X © q© T p h! u e sS hy e F u7 F hF ! © w © wT p s D q© © wy ue p p$ wy u3 e sS hy e F u

© w! i hT vt h¦ vR q© F kF F ue e wT e g @ © sR T p u ue i i$ wT T p uX F hT p$ wT uy e F uX © hF © st h¦ p$ wD vt s r© u$ U F st e st hF F s3 u wT F h

kT sS w i p$ wD p u3 st p st wD p u7 e hF ! u sR F i hF r© r© st i S wD e u T p s© r¤ w

B

st i p hT p ue vt uT T F ue vt vR wy i$ q© w7 r© st i qF i i st hF F u i$ q

© q© T p s© u ue p p uT ¢ @3 kT vt s¤ w T ue D w ue i$ F vt st e st p$ wT ! u T p uy w F T u p st p h e F uy u7 e hF 8 F st p hy r© ue s¤ © hT i p$ qF vR wD p s

uX r© ue kT vt s wD i i st hF ! s¨ u F q© F e sR wT uX vt u! © hF © st ue pD w! ue i i u F e sR wD vt s3 r© ue vt vt u8 F hT e st hF F s¨ sR F r© u$ U F st p uT

6 ' c v }5 j% zp {¤ ka zp c e ¤ ) }5 }% k p k) a ~6 k c k) }5 j% ) j5 k ) j5 ) j% ~6 kc zp ka z l¢ 5 lC p }5 ) j5 c k) ) a 6

z2 ¤ z j% ¤ y ~6 ) }% }% p a 5 v y ) }5 }% k U H ka p }5 ¤ ¤ k k) }5 j% ) j5 k }5 ka j5 a z j5 k ) p a zp k |) k) a k

}5 k) j5 j5 ka zp 6 a ¤ # U ) }% 6 j5 j5 kc }5 j5 ka 5 ~6 k

e z ¤ 6 a ja l zp k) {¤ ka zp ~6 k zp U ~6 k) }5 2 ~£ p C }% H k) }5 }5 ka zp kF U a ~6 ka zp ~¤ ¤ ¤ F }5 ka zp k2 p a p a e 2 l

z§ k) }5 j% ) j5 k ) 6 k 6 j% 5 ~6 k }5 j5 S a p ) }5 F ¤ c j% ¤ ) j5 j5 ¤ z j5 kS ¤ ~6 ka zp a 5 p ¤ zp {6 6 v a z j5

}5 ka |) ¤ a k) }% {¤ k) zp )

i

Page 5: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 5/23

¢ ¡¡ ¢F © ¤ £¢ p ¦¦ ¥# ¦5 ¨ §

hT st e U uT ¤ i ue e hF F r© h

B

st i p hT p ue vt uT t q© © w¦ r© u$ U F st e st hF F uI uX v u F q© F e sR wD e st hF F u¦ r© ue vt v ue i i u F w r© s

q© o hT kT kT ue p p h¤ 3 ¤ & 35 w§ ¦# uv 7© ¨) w © s© q w iF y 8 w F hF 2 wD i i st q© w e F u8 ue i i h ue i st i p$ w© i s

u F r© u F ue e ue i i$ wT sR w q© © w © hD D w¦ r© s ue i st i p u F w2 w ! u F h e F u8 © qF ue i p$ w F hF T u F kF w wD i

i$ q© T p$ w! F ue s © hT i p$ qF vR wD p sR e lS kT ue hF ! ue p$ sR w© F p$ wD vt uX ! ue p hF r© h8 st i st ue r© u8 F ue vt vt u ) (p uv 35 4 ¥ xv 7% ( 8y 7$ j3 vt u

© hF © hT i st e st hF F s3 kT ue hF ! ue p$ st e F u! i hF F h¦ e hF F hT i e sR qF p u8 © u ! ue e e h r© ue vt v wD p p h¤ ¤ uX vt u! T u F sR wT ! h

w! i e hF © sR uX ue i ue kF qF u F r© h¦ e u p uy e hT i p$ qF e st hF F s 3 ¤ & 35 w§ ¦# uv 7© ¨) w ©© q s w2 r T e

l © sR ! s¨ p$ uy © hT i p$ qF vR wD p s¨ r© s @ qF e vt st r© u! i s s u st i e hF F h¦ w! e hT i p$ qF e st hF F s¨ ue i ue kF qF sR F st vt s e hF

st kF w! uX e hF 8 © wD i i h¤ F uy r¤ q© F © qF uX e hF © wT p st e hT vR wT s¨ i p$ q© ! u T p sU vt sR ! st p$ wD p s j

7 ue i st i p u! q© ¦ i ue kF ! u T p h8 e hF F kT sR q© F kT u T p uX r¤ qF u! © q© T p sU r¤ wD p s

© q© ¦ i ue kF ! u T p h8 i s © q¨ h8 ue i p u F r© u uX sR F r© u$ U F st p$ wT ! u T p u

© 7 ue i st i p u! q© ¦ e u e F st h¦ r© s¨ e u T p$ h8 uX wD kT kT st h8 r¤ wD p s

g wo ue i p$ st e st hF F u wI ue p p u¦ u e u e F sy u¦ sR wD e e hF r© hI e hF o vt u st r© ue u F vR wD p hF F st e F uT © u e U u

p$ wD vt sU u T p s¤ kT ue hF ! ue p$ st e s¨ st i$ © hF F r© hF F h¦ wD vt vt uy wT wD p p u st i p st e F u r© sU i sR 8 ! ue p$ sR wX uy © u S ue e st hF F u

st r© u wD vt s wT u! w 3 vR wD p hF F u wD vt q© F s © u F i$ wT F h e F u8 © hF © st h w¦ vR qF s3 i s r© u © © w8 S wT st i$ wD vt sR u

vR w¦ ue i p$ st e st hF F u! w8 st kF w! uy e hF 8 © wD i i h¦ F ue vt vt u! e hT i p$ qF e st hF F s¨ kT ue hF ! ue p$ st e F u e

B

© sR 8 w F st i p$ w v qF i h r© sy p$ wD vt sX i p$ q© ! u T p s vt sR ! st p$ wD p s! r© hD T ue p p u i u ! © wT u2 F sR qF p

p hT i p h ue i p$ st p p st T h¤ 8 w wD vt q© F sy i$ qF e e ue i i sy sR © wD i$ © ue p p$ wD p sX © hF r¤ qF i i u h q© wT ! F st h r© s

© u e ue e st hF F uT U uy kT u F u wT hF F h¦ wD i$ © ue p p$ wD p st T uy sR u wD vt st i p uT

! # "% $! &( ') ( 02 13 # "% ( 4# " "% $¤ 13 '3 52 0¦ 68 7¨ ¤ 9 52 02 4¤ A @B '3 C( &( D "A 9 '3 @B E¤ 02 C( 9F "% ( 52 0H GP I Q R3 SH ( 02 T# '3 ( &D "% ( 52 0

GP I Q U3 V3 S 6! W 4¤ ¤ $¤ ! ¤ X 9 '3 @B W "% 4¤ 4¤ 02 Y 02 '3 $# "% ( 52 0# W C( '3 &( &( D "% ( 52 0¦ Q

` ! # "% $! &( 'A ( 02 13 # "% ( 4# " T# '3 52 02 13 '3 $¤ 0a ( 13 '3 5P "% ( 08 4¤ 0c bd 5P "% &( 0¦ 6 7¨ ¤ 9 52 02 4¤ B 9 '3 $¤ C( 02 4¤ D "A 08 9F "% C( 0c 4¤ 0e b

¤ 13 # "% 52 H " VA GP I Q2 fF S 6h g) GP I Q g! i3 S 6 pA GP I¦ q Q2 f3 fF S 6 iA GP I¦ q Q2 fF p3 Se fF pA GP I¦ q Q2 fF i3 Se C( T¤ 52 02 9 02 &D "% @B $! &( 3 6h 4A ¤ $

13 D "% $H $! ¤ @B ( 'e 4¤ 0# 9F "% C( 0h "% 4¤ 4¤ 02 Y 02 '3 $# "% 52 03 02 @B T¤ 52 02 9 02 &D "% @H $! &( e GP 5P "W ¨ ( '3 T# '3 C( 02 Y 02 '3 $¤ c I¦ q Q2 fF pe @B '3 C( &( D "c 9 '3 @B

C( 0 T# '3 C( CD "H T¤ ( '! 9 4¤ ( ` T# e E¤ 02 C( Y 02 '3 $¤ 3 6¤ X 4¤ ¤ $¤ ! ¤ W '3 &( &( $¤ ( ` $¤ '3 $ C( '3 52 '` 02 5h 9F "% C( ' i` &( D "% &( &D "% &( '# 6! @ "

"% $¤ 9D r¤ ` s¤ 6h fF t¤ 6h fF U¤ 6! 9 9 &( D "3 S Qc 7¨ ¤ 9 52 02 4¤ W $¤ '3 $B u¦ "X T# "% ( '3 5P "X 4¤ 0 9F "% C( 0 ! # "% 52 0h v¤ 6¤ R¤ 6! B fF v¤ Q

` ! # "% $! &( 'A ( 02 13 # "% ( 4# " 5P " ! # "% 4¤ D "% &( ¤ D "¤ 6a 7¨ ¤ 9 52 02 4¤ B 9 '3 $¤ C( 02 4¤ D "A ( &( &D "% $¤ 13 '3 52 0W GP I( I Q2 f g! S 6¨ B 4¤ 0

! ¤ 0c C( 0e T# '3 C( C( '3 $¤ 'A u¦ "% 9 02 52 @B $! &( H &( D "% &( &D "% ( T¤ ( 02 @ " &( ( 0P "% $¤ 13 '3 52 0W GP @B 4¤ 0P "% $! &( B ¤ $# "A &( D "% C¦ u¡ '3 ( @ "% Y 02 '3 $¤

02 $! &( ( @B 4¤ 0P " 02 $d ( &( &D "% $¤ 13 '3 52 0e 4¤ 0W "% ( F ") ! ¤ 02 w3 "% 52 $! &( 3 68 E¤ 02 C( 9F "% $¤ 4¤ ' 5¦ x "% 52 &( Y YF "3 S 68 T# '3 0e T# '3 52 02 13 '3 $¤ 0

! # "% 52 ¤ $¤ ! ¤ B GP T# W &( ( 0P "% $¤ 13 '3 5P "% Y 02 '3 $¤ 3 6! ¤ CD "% $¤ 4¤ 'B 02 5 y¨ '3 ( @ "X 4¤ 0a ¨ 02 &D "% 13 '3 D "` T# e C( '3 @B @ "% ( e 'H C( '3 &¦

&( D "% ( ( e ! # "% 4¤ D "% &( 0P S Q¨ "W w3 D "W $¤ '% w! 02 &F "W w3 $¤ $¤ c T# F ' 4# "W I¦ T¤ T# '! 9 D "% &( e 4¤ 0h 8 r¤ 02 '3 CF 63 9D r¤ e ! # "% 4¤ F 'W 52 ¤ $¤

9 '3 C( &( ( ¤ 02 &( X C( ¤ $ ! # "% ( &( 'H 4¤ 0h 9 ( 9D r¤ 02 '# 6¤ X @B '3 C( &( F 'X 9 '3 @B e 5P "X ! # "% 4¤ D "% &( ¤ D "` 4¤ 0h 52 ¤ $¤ W C( ¤ $B C( C( &( '

4¤ 0 9 ( 9D r¤ 02 'B "F w! ( E¤ E# X T# ( @B C( C( 'H 4¤ 0 ! # "% 4¤ D "% ( W 02 5h 9 ( 9D r¤ 02 'B 02 $! &( ( '# Q

s

Page 6: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 6/23

D u © hF F vt u ! s! e vR wD i i st e s¦ r© ue vt vR w kT ue hF ! ue p$ sR w F sR wT © w i s! st T ue vR wT hF F h u$ S wD p p$ wT sX w

i hT vR qF e st hF F s¨ sR 8 p u ! sR F sU r© sU st kF wy u e hF 8 © wD i i h¤ j vR wy p$ st i ue e st hF F uy r© s¨ q© ¦ wT F kT hT vt h¤ T vR wX e hT i p$ qT

e st hF F uX r© ue vt v ue p p$ wD kT hF F h ue kT hT vR wT uT F uy vR w8 © q© wD r¤ wD p$ q© wX r© ue v e u e F st h¤

wT st u i hT vR qF e st hF F sU S q© hF F h8 © hF © hT i p uT © wD v¤ r© s¤ S qF hF s¤ r© ue vt vt u! ue i p$ st e st hF F s wX st kF wX uy e hF X

© wD i i h¤ 8 wI vR wI i hT vR qF e st hF F uI wI © qF ue i p s © hF F vt u ! s F hF 2 i s7 u © © u e F uI F ue vc F ue e hT vt h¢ ¡y l£ ¡

B T ue r© sH F ue e st hF F u2 q©

T

e

¢ ¡£ ¤ ¥§ ¦c £# ¦¦ ¥ ¤ "y !# ¢ ¨ © ©H ¦

xy vt s@

3 kT st e s i$ wT © ue D wT F h e F uI q© p$ sR wT F kT hT vt ho r© s vR wD p s ©# i

o us

u ue p p h¤ j p$ wD vt u S wD p p h u

q© wD i h © wT p st e hT vR wT uI r© ue vt v sR T T u i h r© ue vC D¨ ue hF u 8 wo r© sy 3 st p$ wD kT hF w© u F q© F e sR wD p h F ue vt vR w

hF © hT i st e st hF F uC i' X e F uy e hF F e vR qF r© u! st v gU sR © h¦ l r© ue kT vt s¢ g e & 02 & 8y 35 7$ j¨ i uy sR q© p$ sR wT F kT hT vt h! st v

© q© wD r¤ wD p hX r© sU q© F h! r© ue sU vR wD p s u qF kF q© wD vt uy wD vt vR w! i hF 8 8 w r© ue sU © q© wD r¤ wD p s¤ r© ue s¤ r¤ qF uX sR 8 wT F u T p s

vR wD p s ¤ st v¨ p$ sR wT F kT hT vt h uX ue p p h B uy v wT F kT hT vt h¦ ue p p h uy © qF ue vt vt h¦ hF © © hT i p h¦ wD vU vR wD p h¦ 8 wD kT kT st hF u e

gU u hF © hT i st e st hF F sy i' uc i' ue i u 8 F vt s ¤ wT F h8 r¤ q© F © qF uy q© ! wD i hy r© s© ue © qF st D wD vt u F w! vt hT kD

st w© ¤ uX wT wD p p u st e wT F h8 s p$ sR wT F kT hT vt s ue p p s¨ e hF ! uX © qF ue vt vt s © u s¨ © q© wD vt s D wD vt u! st v¢ D¨ ue hF u 8 w

r© sU 3 st p$ wD kT hF w© H @ qF e vt st r© u S q8 ! hT vt p hy i u F i sR F st vt u! wD vt v ue © qF st D wD vt u F w8 vt hT kT st w¦ B e st h¤ u wD vt v st r© u w! r© s

) ( 8y t 7U xv 7% ( 8y & 8y &$ ¨) &v u) uv w 4) 7% w &c u¦ ¥ ¨ 7% & 8y 35 &D e D u7 hF F st i e u D wT s© ue i u 8 F sU F ue v© e hF i hy r© ue kT vt s g

& 02 & 8y 35 7$ ue vU gU sR © h8 l F ! hT vt p u7 r© ue vt vt uX © hF © hT i st e st hF F s¨ F hF 8 qF i$ wD p u © u vR wy r© sR ! hT i p$ wD e st hF F u

r© ue vH D¨ ue hF u 8 w! r© s 3 st p$ wD kT hF wX i hF F h¦ wT © © q© T p h8 sR T T u i s¨ vt hT kT st e s r© s wD vt p$ uX © hF © hT i st e st hF F s j

s ug h8 q© y p$ sR wT F kT hT vt h! u st i hT i e ue vt u i u u7 i hT vt h i u7 kT vt s© wT F kT hT vt s© wD vt vR wy © wD i u7 i hF F hy qF kF q© wD vt sR

X u i B r¤ qF uX wT F kT hT vt s wD r© sR wD e u T p sU kT sR wD e e st hF F h¦ i$ q¦ q© © w! i p ue i i$ w! ue p p$ wX i u uy i hT vt h! i u

vR w! vt hF h8 i hF 8 8 w¦ uy r¤ qF u! ue p p sR

uS ©2 B r¤ qF u ue p p u¦ i hF F ho © wT wD vt vt ue vt u i u u¦ i hT vt hI i u¦ hF 8 wT F hI wT F kT hT vt s wD vt p u F s

qF kF q© wD vt sR

X uC © B r¤ qF uy p$ sR wT F kT hT vt s e hF ¦ vR w! i p ue i i$ w! © wD i uX © wT © F h8 vR w! i p ue i i$ w! wT u w! i uy uy i hT vt h

i uX © wT © F h8 vR w8 i p ue i i$ w! wD vt p ue e wT

i' 8 uC i' I q© p$ sR wT F kT hT vt hI u! ue p p h8 i u! uX i hT vt h i uX st v3 © q© wD r¤ wD p h8 r© s3 q© F h r© ue s vR wD p s7 u

qF kF q© wD vt u! wD vt vR w8 i hF 8 8 wX r© ue s¨ © q© wD r¤ wD p sU r© ue kT vt s3 wD vt p$ s¨ r¤ qF uy vR wD p sR e

g3 q© F st e hX wD i h r© s© © hF © hT i st e st hF F u r© ue v¤ gU sR © hX lU e F uc @ qF e vt st r© uy © hD D w i u F wy © hD D wT F u

v sR T T u i hI uy vR w B r¤ qF u! ue p p uX p$ wD kT vt sR wD p uy r¤ w¦ q© © w8 p$ wD i T u i$ wD vt uX uy hF 8 wT T p s¨ wT F kT hT vt s sR T

p u F s¨ e hF st i$ © hF F r© u T p s i$ q© © F vt u ! u T p$ wT s3 i hF F h¦ © wT wD vt vt ue vt u e U st v qF s sR T T u i h uy st v3 hT i p$ qT

vR wD p hF s©

z a j% ¤ k# ¤ ka c ~¤ ) }5 }% ~6 k ~£ p ¢ a p a ¤ j% ¤ zp # a c }5 j5 6 }5 }5 g }5 ¤ 5 # v ' ) p ¤ y a ¤ zp c ~¤ j5 ) j%

p

zp ¤ ) 6 k 6 j% 5 c }5 ka lH g v ~6 ) {¤ e ka zp c ¤ ~¤ k

h

Page 7: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 7/23

¢ ¡¡ ¢ ¦£ ©H © "§ ¦¤ !¤ £) © ¨ ¤ "

g3 wD i i st hF 8 wD p st e wD e st hF F uy 8 wD p u 8 wD p st w e hF st i$ © hF F r© uy wD r¦ q© © w! wT © wD vt st i s¤ r© sH t 7% 02 (p uv 35 46 wp xv 7% ( 8y 7

sR T hF 8 wD vt s B h¦ r© s i hT vR qF e st hF F s3 r© s © hF F vt u ! sR e U ue rI sR 8 F vt st e st p$ wT ! u T p u¦ © hF F u! v wD e e u T p h¦ i$ qF s

p ue hF u ! s ¨ e F u! i hF F h kT sS w r¤ wD p s sR o © wT p u F w© ! gU u¦ F hT e st hF F s7 © sR ! st p st T u8 i hF F h i e hF © u p u

F ue v© e hF i hy r© ue vt v wT © wD vt st i s © u7 vt u vt hF hX © hF © st ue pD w i hF F h r© ue p u ! sR © wD p u sR 8 F vt st e st p$ wT ! u T p u r¤ wD s

p ue hF u ! sU e F uX ue i i uy i u T hF F h¦ w! r© sR ! hT i p$ wT uT

f y wT © © hF e e st h e hF 8 F vt u ! u T p$ wT u7 wD vt v wD i i st hF 8 wD p st e wD e st hF F uy st F st p$ wD vt st e wD p h sR y p u 8 F s

! hF r© u F sF r¤ wD vt vR w7 ¤ vt hT i hD U w wT © wD vt st p st wT e hF st i$ © hF F r© u sR T T ue e u7 wD r! q© © w wT © wD vt st i sF r© sy 8y (p xv 7% ( 8y 7$

lS © qF ue i p h¦ wD i h¦ v sR T p u ue i i u8 ue vR wD p st T h F st u F u8 sR © wD vt p$ wD p h¤ j7 vt u8 F hT e st hF F s © sR ! st p st T u8 i hF F h

hF wy s¤ T u s¤ hT kT kT ue p p sF r© sU i p$ qF r© st h¤ T u vt u vt hF h! © hF © st ue pD wX i hF F hX sR 8 F vt st e st p u! F hF ¦ F ue vt vt uX wT © F vt s

wD e st hF F s¨ 8 w! F ue vt vR w8 F hT e st hF F sU i p ue i i uT 3 l p ue hF u ! s¤ e F u i sU r© sR ! hT i p$ wT F h! wX © wT p sR u r¤ wX p$ wD vt s

© hF © st ue pD w i u T hF F hy wD vt vt hF w F hF ! w kT sR qF i p s ¤ wT u v wT © wD vt st i s© i p ue i i$ w© D 8 w w r© ue p u ! sR © wT F u

v ue i p u F i st hF F uT

f ue i u 8 F st h p sR F st e h r© s3 wT © wD vt st i s r© s3 F hT e st hF F s uX r¤ wD p h¦ r¤ wD v e hF F e ue p p h r© sg w 46 &) w¤ U e F u

sR T p u F st u F u¦ sR o ! hF r© h ue i i u F e sR wD vt u F ue vt v u F q© F e sR wD p hI u8 F ue vt vR w r© sR ! hT i p$ wD e st hF F u! r© ue v# D¨ ue hD

u 8 wy r© sU 3 st p$ wD kT hF w© T 8 wy e F uy F hF X S wX F u © © q© uy © wT p u r© ue vt vR w! vt st i p$ wX r© s¤ r© u$ U F st e st hF F s¨ r¤ wD p$ w

r¤ wF @ qF e vt st r© u¦ wD kT vt s sR F st e s r© ue kT vt s# g e & 02 & 8y 35 7$B

r© r© sR st p p$ q© w© @ qF e vt st r© u F hF © wT vR w¦ 8 wD s r© s

t wT u w© R T uy i s¤ vt sR ! st p$ w¦ w! © wT vR wT u r© s3 t qF kF q© wD kT vt sR wT F w© ¨ B hD F F sR wT ! u T p u sR q© ¦ i u F i h! r© st T u i h

r¤ w © qF ue vt vt hX r© sF i hD © wT © © hF F sR F st vt st pD wy r© hF © hX ! hT p h¤ D qF i$ wD p h sR ! wD vt p$ u © wT p sT r© ue kT vt s g e & 02 & 8y 35 7 e

y qF ue i p$ w8 8 wT F wT F w! i s © q¨ h¦ wT © © q© T p h8 sR T p u © ue p$ wT uy e hF ! uX q© © w¦ © hD D w! r© ue vU S wD p p h

e F u ue kT vt s st p u F ue i i u vt uI F hT e st hF F s e hF ! q© F sX B e F u sR T p u T u F kT hF F ho sR ! hF r© ho ue i i u F e sR wD vt u

sR ¦ hT kF F s¤ r© sR ! hT i p$ wD e st hF F uX ue vR wD p st D w8 wD vt v wT u wT q© © w8 wD i i st hF 8 wD p st e wD e st hF F uy i$ qT m¦ e st u T p u r© ue v

e hF F e ue p p h¤ lS © wT p st e hT vR wT uT ¤ ue kT vt s © hT i p$ qF vR w¦ © u 7 v qF kF q© wD kT vt sR wT F w© j

7 p$ wT F i st p st F st pD w

© wD r© r© st p st F st pD w

© 7 i hT p p$ wD sR F st vt st pD w

i¤ 7 sR T D wT sR wT F w¦ st i$ © ue p p h¦ w! e hF F kF qF u F w

s© ! hF F hT p hF F sR w©

¥X wD vt vt u7 r© sR ! hT i p$ wD e st hF F sF e F uc @ qF e vt st r© u r wX D i sF r© ue r¤ qF e u7 e F u7 r¤ qF u © hT vt st kT hF F s¤ © wT © F hy © u

vR qF sg w 46 &) w ¥ $ ¥' w e &! i uX ue i i s¨ i hF F hS &§ ¦¤ ¥' 7© ¨) ( 0 e & 02 & 8y 35 w ¢v 7% e 7 B e st h¤ uy i u8 uX © hT i i sR F st vt u¦ wD kT kT sR q© T

kT u u8 vt hF hI q© o F q© ! u h U F st p hI r© s7 © hT vt st kT hF F s ue © qF st e hF 8 © hF F sR F st vR s 7 sR 2 ! hF r© h p$ wD vt u¦ e F u8 s

© hT vt st kT hF F s© e hF 8 © hT i p sF i sR wT F hy ue © qF st e hF 8 © hF F sR F st vt s¤ E© u7 r¤ qF u © hT vt st kT hF F s¤ i hF F h2 &§ ¦¤ ¥' 7© ¨) ( 0 ( 8y 7£ ¢v 7% e 7

Page 8: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 8/23

i uy i s © hT i i hF F h8 r© ue e hF 8 © hF uX sR q© F q© ! u h! U F st p h¦ r© s¨ p$ sR wT F kT hT vt s e hF F kF qF u T p sR e

ue vt vt u F hT e st hF F s e hF ! q© F s7 © u y v qF kF q© wD kT vt sR wT F wI i s st e hF F hT i e hF F h vt u © hF © st ue pD w hF T

r¤ wT ! u T p$ wD vt s r© ue vt vt u¦ ! hF r© u F uF 02 7U u¦ ¥' 46 & ¦g 8y 7% 35 w 02 & 8y 35 &C w t t 7% 35 7¢ ¡ &I B sR qF s vR w8 i hT p p$ wD sR F st vt st pD w

F hF 8 i u T uT © © u e U u e hF F i ue kF qF u F w! r© ue vt v ue i st i p u F w8 r© ue vt v sR T T u i h¦ © u 7 vR wX i hF 8 8 wT e ¥X w

ue i i uX i s © q¨ h © hD D wT uy v ue i st i p u F w¦ r© s q© © w¦ ! st i$ q© w8 r© s wT u w ue vR wD p st D wT ! u T p u! wD vt v wT u w

r© s q© p$ sR wT F kT hT vt h¦ q© F st p$ wT st hF e

'3 02 9D rh c &( ¤ &( &( '` c 4¤ ¤ £# $¤ 02 &( 'X 02 $` &( ( @B 02 $¤ 0! 4¤ 0# &( ( 0P "% $¤ 13 '3 52 0¦ 6 02 5¤ T¤ ¤ $! &( 'X 4¤ 0¤ T# "% ( &( $¤ YF "` c '% w! w! 0P "% @B $! &(

5P "X 4¤ ¤ £# $¤ 02 Y 02 '3 $¤ W 4¤ 52 5¦ x "% ( F "W 4¤ 0h ¤ $ &( ( 0P "% $¤ 13 '3 52 'X 02 $B &( ( @B 02 $¤ 0# 4¤ 0h E# "% C( W X "% 52 &( Y YF "¤ Qa a x 02 $¤ 4¤ 02 T# $¤ 4¤ $¤ YF "

4# "% 52 5P "B C( 9 52 &D " 4¤ 52 5P " E# "% C( B ( 02 9D r¤ 02 4¤ B 5P "B &( '3 ( 0P " 4¤ 52 5P "B C( 02 @B 02 52 02 &( ¤ 4¤ 02 $¤ B GP 9D r¤ B T# F 'A 02 $ 7¨ ¤ 9 52 02 4¤

C( w! 02 52 ¤ T¤ T# "% &D "` ¤ CD "% $¤ 4¤ 'B 02 @B T¤ 52 02 9 02 &D "% @H $! &( e 5¦ x C( 02 C( &( $¤ YF "H 4¤ 52 5¦ x "% ( F "3 S Q¦ ¥! 0 4¤ 02 @B '3 C( &( D "X T# '3 0¨ 5¦ x 02 $¤ 4¤ 02 T# $!

4¤ $¤ YF "H 4¤ 52 5¦ x "% ( F "X 4¤ 0h ¤ $ T# '3 52 02 13 '3 $¤ '` 4# "% 52 5P "W 4¤ 9 '3 @B T# '3 C( 02 Y 02 '3 $¤ e 02 $ &( ( 0P "% $¤ 13 '3 52 0¦ Q

§

w3 $¤ 4¤ ' 5P " @B 02 C( ¤ D ") 4¤ 0` "% ( F "¤ 6W C( 0` T¤ ( '% w3 " T# '3 0X 9D r¤ ) 4¤ ¤ T# '3 52 02 13 '3 $¤ 0e C( '3 $¤ ' ! ¤ 02 9 '3 @B T¤ 52 D

@B $! &D "% E¤ 02 52 0¨ GP 9 02 '¤ W r# "% $¤ $¤ 'H C( &( C( CD "B "% ( F "` $¤ 5 C( $¤ C( 'B 4¤ 0¨ 7¨ ¤ 9 52 02 4¤ F Sc C( W X C( '3 52 '` C( X r# "% $¤ $¤ 'H 5P "X C( &( C( CD "

@B 02 C( ¤ D "X 4¤ 0 "% ( F "¤ Q

¢ ¡© ¨ ¦5 ¨ " ¦¤ ¦¤ © !# "

lS y i ue kF qF st p hy wD vt vR w i e hF © u p$ w F st p$ wD kT hF st w r© ue vt vt u7 kF wT F r© ue e e u sR F e hF 8 ! u F i$ q© wT F st vt s3 B e st h¤ u r© ue s

F q© ! u s© sR wD e st hF © wD vt sR u wD vt vR wy i$ qF e e ue i i st D wX st i s© r© ue s© hF F r¤ wT ! u T p s D s¤ xX ue e s© ue F st p$ wT hF F hy r© s

© wT vR wT u r© sU wD vt kT u © wX r© sR ue p p$ wT ! u T p uT T ue r¦ qF i$ wT hF F hX sR T T ue e u hF ! qF vR wD e st hF F s¤ kT ue hF ! ue p$ st e F u

© u y s3 vt hF h st i$ qF vt p$ wD p s

B

rI ue i u 8 F st h¤ F ue s vt sR © s7 l l y l l y l l l u8 l£ ¡ r© ue kT vt sc g e & 02 & 8y 35 7

@ qF e vt st r© uy wT © © ue i u T p$ w s¤ F q© ! u s© e hF ! u i ue kF ! u T p s T v wD r© r© st e st hF F u r© sF r¤ qF u F q© ! u s© e hF ! u

q© ! i ue kF ! u T p hy e F u7 i s© hT p p st u F u r¤ wD vt vR wy ue i p u F i st hF F u r© sU q© X i ue kF ! u T p hy e hF st i$ © hF F r© u T p u wD v

© sR ! h8 F q© ! u h8 ! ue r© sR wT T p uy q© 8 i ue kF ! u T p h! e hF st i$ © hF F r© u T p uy wD v¤ i ue e hF F r© h¤ F st v¨ © hF r© hT p p h

r© s r¤ qF u¦ F q© ! u s3 e hF ! u8 v wT u w r© s q© o ue p p$ wT F kT hT vt h w T u T p u8 © u y vR wD p s3 s i ue kF ! u T p s3 e hF S

st i$ © hF F r© u T p s¨ wD s¤ r¤ qF uX F q© ! u s F u e hT i 9¤ F sR w© lS ¦ © wT p st e hT vR wT uT F v wD vt kT u © w¦ u i$ q© © hF r© sR © wD p$ w

wD vt vR w8 kT ue hF ! ue p$ sR w© © wT F e F u! F ue v¨ vt sR F kF q© wD kT kT st h¤

g wI kT ue hT kF w U wI u v wD i p$ hF F hF ! sR wo ue i u h2 F ue e ue i i$ wT st h2 st vy © hF e ue i i h2 sR T T u i h¤ ue r w

© wT p sR u8 r¤ w lS © © wT e h s q ¥8 7 i s3 e hF ! sR F e sR wT hF F hI wD r2 qF i$ wT u ) ( ( 46 t 7% 8y w 35 &¦ © u y r© u$

i st T u uX q© T uy r¤ wD p uT © 8 w! i hT vt p$ wT T p h8 st i$ © ue p p h¦ wD r q© i st i p u 8 w! r© s¨ e hF hF r© sR © wD p uy i e ue vt p h

r© s¨ T hT vt p$ wX sR T hT vt p$ w© T sR © wD i uX wD vt vR w! q© D w© l v © sR ! h¦ w! i e ue kT vt st u u! q© S uv 7U uv 35 & 02 w t 7 ) ( ( 4

t 7% 8y w 35 &! ¤ i i h¦ S q y ue i$ ! h2

rT e F e F u! u w¦ wT F e hF w8 p$ wD vR ! u T p u! vt ue kF wD p h wD vt v qF i h

6 ' H }5 ~6 ¤ j5 # v p ~¤ H ¤ # 6 ) ~6 k ¤ z j5 a ja l# z |) 6 ~6 H ¤ # 6 ) ~6 k ka z ja l l a p }¢

j% &p ~6 ) j5 ¡ %g ~6 k ¤ ¤ j p ¤ ka |a ) j5 k zp ¤ }% p k ¤ k U p }5 k ¤ C }5 6 ~6 ka zp 5 ~£ 6 U ) }5 }% k C v

¤ ~£ 6 )

e zp ka j% ¤ ' j% ¤ ) j5 j5 ¤ z j5 k# ¤ U a ¤ 6 c v p ka ) ka z zp ¤ a zp k 6 v a z j5 ¢ 6 ) ~6 k ¤ z j5 a p e ja l l

zC ~6 ) }5 kc }% zp ) ka a ¤ ~£ p ¢ zp ka zC }% y 6 }5 j5 ¤ zp # a j% ¤ ) j5 j5 ¤ z j5 kg z' l# ¤ U a ¤ 6 v ' ka ) ka z zp ¤ k }% p ) {¤ k

z' l¢ ¤ |) ka g v ka 6 v 5 U

Page 9: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 9/23

kT ue hT kF w ¤ e h! r¤ w8 e F sR wT 8 wT uy vt uX e hF hF r© sR © wD p u! vt hF F kT st p$ qF r© sR F uT U u! vR wD p st p$ qF r© sR F uT R

g3 sR T p$ hF r¤ qF e st hF F u r© s q© © wo F hT p$ wD e st hF F u wD vt kT u © st wI i hF r© r© st i S wD e u T p u B sR 2 qF s7 vt ue p p u u

T u F st D wT F h qF i$ wD p u © u 8 sR F r© st wT uI D wT sR wT F st vt sR © u ! st i uo wo 3 st u u r© u¡ ¤ u 8 wD p h q r

h h sT ¦ F ue v h ©2 ue r w£ ¢7 u nu ¥y ue i wT p ue i2 s © h r h s qT 8 F ue v h o r© sX i F st vR q© © © wT u

vR w§ $' &) ( 02 & 35 4) 7% w w 8y w e 7% 35 7© ¨) w¤ g¨ wo vt hF ho hT i i u D wD e st hF F u qF e sR wD vt u S q e F uT 7 ! ue p p u F r© h2 sR

e hF st i$ © hF F r© u F w u T p s3 kT ue hF ! ue p$ st e s B e hF ! u! s © q© T p s3 r© ue v7 F sR wT F h h r© ue vt vt hI i$ © wD e st hF e hF

F q© ! u s F i s¤ hT p p u F ue D wX wT F e F uy q© © wy e hF st i$ © hF F r© u F w! sR F r© hT p p$ w S w vt uy © hF © st ue pD wX r© s¤ p$ wD vt s

u T p s¨ u! © hF © st ue p¤ nw¦ F q© ! u st e F uT

B

r ue i u 8 F st h¤ ¤ ue i i s i e hF © sR hF F h¦ e F uX vt uX ue © q© wD e st hF F s3 r© s

© sR ! h¦ uy i ue e hF F r© h8 kF wD r© h8 r© ue i st T hF F h¤ ¤ st i$ © ue p p st D wT ! u T p uT U ue p p uy uy e hF F st e F uT

g w i e hF © u p$ w r© ue vt vR wI kT ue hF ! ue p$ sR w wT © wD vt st p st wI u © © u q© o sR F r¤ q© © F st ho D wD vt hF u¦ p ue F st e h¤

© u e U u! sR T p$ hF r¤ qF i i uI B uX © qF ue i p h¦ S qI q© F h r© ue kT vt s i e hF F s r© st e F sR wT wD p s r© s¤ ¥y ue i wT p ue i$ q© © w

02 & 35 ( t ( e (a $' 7% w¦ F ue vt vt h¦ i p$ qF r© st h8 r© ue vt vR w¦ kT ue hF ! ue p$ sR w© T e F uX 8 wT F w D w8 F ue vt vt h¦ i F st vR q© © © h¦ kF ue e h¤

¤ u 8 wD p8 u ¥y ue i wT p ue i8 i s wD e wT F st kT vt sR wT hF F ho S q© st hT i$ wT ! u T p u © u 8 D wT s wT © F s © u 8 e hF T

p u F r© u i u F uX vR w8 © st hF st pD w© j3 sR e sS h¦ ue i i s¨ wT T p st e sR © wT hF F h¦ vR w8 F s q¦ S wT ! hT i$ w 8 w! F hF ! u F h

© u F hT i$ wT st i i$ wX S w! gU ue sR © F st ! uX u¥ ¤ p hF ¦ i$ qF vt vR w8 i e hF © u p$ wX r© ue vt v wT © wD vt st i s g3 sR hF F sR w! r© ue vt vR w

S wD e e u F r¤ w! i p$ w! F ue vU S wD p p hX e F uX U u v q© F h¦ U u v wD vt p$ hX S q© hF F h! sR u wD vt pD w! ue i$ © hF F i$ wT F st vt s r© s

© qF ue vt vt h e F uX F st u F uX hT kT kT sU F st i p h¦ e hF ! uy st v3 ! u st p h8 r© ue vt vR w¦ kT ue hF ! ue p$ sR w8 wT © wD vt st p st w© j r© s w T u

e st h¤ u3 i$ © hT i p$ wD p h7 st v© © ue r© hF ! sR F st hy F ue vt vR wy 8 wD p u 8 wD p st w r¤ wD vt vR w kT ue hF ! ue p$ sR w7 wD vt v wD vt kT u © w© ¢ @ T

p$ wT ! F sU F st r© u h8 v wD vt kT u © w! i hT vt p$ wT T p h! e hF ! uX q© F h8 i p$ q© ! u T p h8 © u st i hT vt T u uX © hF F vt u ! s

r© sF e hT i p$ qF e st hF F s© kT ue hF ! ue p$ st e F uT S wD e u F r© h e st h¤ u7 r© ue vt v wD vt kT u © wy q© ! qF i h & 4 vR w kT ue hF ! ue p$ sR w©

u! F hF 7% 8S uv (p uv 35 7% 3£ ¥ xv 7% ( 8y &C t 7 ue i i$ w© ¦

¤ u 8 wD p7 vR w T hF h8 ue i$ F vt st e st p$ wT ! u T p u8 F ue vt vR w¦ p$ wD r© st e st hF F u! kF ue w© © e hF F i st r© u wT F r© h¦ st v i$ qF h

vR w T hF hy e hF ! u q© © w 4) 7 §v ( 4) 0 ¥' e wp xv 7% ( 8y &y r© s¤ © qF ue vt vt h! r© s

B

© hT vt vt hF F st hI 5 h r © q

B

e ¥y ue i

wT p ue i © hT i u! © ue e st i s vt sR ! st p s wD vt v qF i h¦ r© ue vt v wD vt kT u © w F ue vt vR w¦ kT ue hF ! ue p$ sR w© j F hF e hF F i st r© u h

e hF ! u q© T u3 vt ue kT st p p sR ! u7 © qF ue vt vt u p$ wD i e u F r© u T p s vt sR ! st p$ wT F r© hT i s¤ w7 © qF ue vt vt u wD vt kT u © st e F uX B r© u$ B

sR F st p u¦ r¤ w q© U ue © q© wD e st hF F u v E3 u8 i$ © ue i i hI st i hT vt i u¦ s i$ qF hT s3 i st i p u ! s r© s ue © q© wD e st hF F s kT ue hF ! ue p

st wT ! u T p uT ¤ sR T T ue e u! e F u! wT © wD vt st p st wT ! u T p u qF i$ wT F r© h8 vt u! ue © q© wD e st hF F s i hT vt h¦ e hF ! uX ! ue e e h

© u vt ue kT kT u F s F s q¦ S wD e st vR ! u T p u! © hF © st ue pD w8 kT ue hF ! ue p$ st e F u e

D wD vt u8 wD p p ue kT kT sR wT ! u T p h¦ r© s3 i hT p p hF ! st i i st hF F u! r© ue vt v wD vt kT u © wI wD vt vR w kT ue hF ! ue p$ sR w¦ u w¦ wT T

e hF w © ue i u T p u sR ! l i$ wT wD 7 u¥ ¤ p hF 8 hp i' r T e jU vt u r¤ qF u i e st u F e u F hF y r© ue T hF F h ue i i u u

e hF T S qF i u E3 vt u¦ F qF hD T u8 kT u F u wD e st hF F s e hF T hF F r© u F r© hT vt uT © wT © F hI © u i h vR w i u 8 F vt st e u¦ ue vt u$

kF wT F w8 kT ue hF ! ue p$ st w© R g @3 kT vt s3 st p u F ue D w¦ v wD vt kT u © w8 sR F qF p st vt u¦ © u vt h¦ i p$ qF r© st h¦ r© ue vt vt u8 i ue e st hF F s

¨

e zp k c ) 6 k 6 j% 5 a zp a j% ~6 ' 5 ©p 6 j5 j5 g j5 a g j5 ¤ zp ¤ zp {6 c z {¤ a }5 k) j5 j5 ka zp 6 a zp k U ) j5 j5 kc ~£ p

U a ) ¤ ¤ |) ¤ zp p }5 ) j5 2 ~6 k }5 j% 5 ¤ z j5 k2 v a zp a }% ¢ ¤ g 2 ) 6 k 6 j% 5 e z U ) j5 j% p a ¤ j% ¤

a ka ¤ }% zp ~6 k zp ~¤ % lkF ~£ a ¤ a zp a }% U y U a ) ¤ ¤ 6 2 H v p j5 ¤ z H v |) ¤ z zp ¤ ¤ k }% zp ka z U

p a zp k U a zp a }% g zp ) ~6 ) p F }% ¢ |) 2 ~6 k z' 6 }5 j5 ¤ zp }% ka zp 2 ¤ U a ) ¤ ¤ ¤ # j% ¤ ) j5 j5 ¤ z j5 k

6 a # z¡ & z j5 6 }% C ' 6 ka z¤ p a ¤ ¤ F ¥ ! v c z j% ¤ kv v p }5 }5 a z j5 kF ¤ 6 }5 }5 ¢ zp k

a zp a }% z¡ & z j5 6 }% a e ) # "v ka k a & zp g ¤ U ! ! U ) ) ) 6 j5 j% |) k e ) }5 ~¤ ) j5 k ~6 ) ¤ ¤ # }% ~6 k zp ~¤ % lk

g ~£ a ¤ ¢ U a zp a }% H a zp a }% U

©

Page 10: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 10/23

e hF F st e F uT 3 u8 p$ wD p pD h¦ vt u¦ hF F st p u8 r© ue s7 F sR wT F ue p s7 F ue s¡ g 4) 7% 8 ¨ 7 7% wI wD vt vR wI 8 wT F st u w r© ue s7 xX ue e s

B u F hF 2 sR ! hF r© ho wD vt kT u © st e h£ ¢ e § F hT vt p$ wT T p ho © u ! vt hI i p$ qF r© st ho r© ue vt vt u q© F st e F uT 7 e F u¦ ue kT vt s

e vR wD i i s ¤ F h F ue v h © s© F u¥ ¤ p hF qF iD h8 vR w8 kT ue hF ! ue p$ sR w8 wT © wD vt st p st w©

l v7 wT ! F sR wT ! u T p hI r© s hT p p$ w¦ S q2 hF © u w r© s¥ ¤T hF © § ¦2 wD vt vt st io h h r q T e ¨ e F u F ue v

h s ! r© st ue r© u¦ q© p$ wD p p$ wT ! u T p h8 wD vt kT u © st e h r© ue s3 gU sR © s3 l l7 u ¢ r© sH @ qF e vt st r© uT ¨ uX r© ue v3 p$ wD p

p$ wD p h i$ qF vt vt u¦ i ue e st hF F s e hF F st e F u¦ r© s

B

© hT vt vt hF F st h B ue kT vt s3 sR T p$ hF r¤ qF i i u wT F e F u8 vR w F hT e st hF F u¦ r© s

e hF hF r© sR © wD p uX F ue kF wD p st T u e o wX i sU r© hD T ue p p uy wD i$ © ue p p$ wT u st v © ©¦ ¨ ¢ © u e U uy i sU hT p p u F ue i i u

q© © w! u$ ¨ ue p p st D w8 st r¤ qF e st hF F u! r© ue vt vR w8 kT ue hF ! ue p$ sR w! wD vt v wD vt kT u © wE

© © qF ue i p$ wX S q! S wD p p$ wX r¤ w¥X w F st r

© st vR © u p¦ h r ©p i' T 3 F ue v¨ i$ qF h8 vt sR © h ( 8y t w 02 & 8y 35 7¢ t & % e w c &) ( 02 & 35 4) 7% w¤

e 02 52 E# ( &B 4¤ ¤ £# $3 W ¤ $ @B '! 4¤ 52 52 'A "% 52 13 E¤ ( 02 9 ') 4¤ 52 5P "A 13 '3 @B &( ( 0P "A ¤ 9 52 02 4¤ F "¤ 6c $¤ 5W @B '! 4¤ 'A '3 13 13 0

¤ C( # "% 52 ¤ $ T¤ ¤ $! &( ') 4¤ 5W T¤ 0P "% $¤ ' ¤ $# "A 9 '3 T¤ T¤ 0P "A 4¤ 0e $! ¤ @B ( 0c ( F "% 52 0¦ 68 ¤ $# ") ( &( &D "d 5¦ x 02 $¤ C( 02 @B

4¤ 52 52 W C( '3 52 ¤ Y 02 '3 $¤ 0 4¤ 0h ¤ $ x ! # "% Y 02 '3 $¤ X 4¤ 0 T¤ ( 02 @B 'X 13 D "% 4¤ '# 6! 5P "` 4¤ 02 C( &D "% $¤ YF "X u¡ D "` 4¤ ¤ X T¤ ¤ $! &( 0a W 4¤ ¤ £# $¤ 02 &D "

@B 4¤ 0P "% $! &( c 02 5# y¨ '3 ( @ "e 4¤ 0 ¨ 02 &D "% 13 '3 D "¤ 63 e 5P "W 9 '3 $¤ 13 ( ¤ $¤ YF "` @B 4¤ 0P "% $! &( c 02 5# 9 '3 $¤ 9 &( &( 'H 4¤ 0# 02 C( '3 @B &( ( 0P "

GP &( D "% C¦ u¡ '3 ( @ "% Y 02 '3 $¤ 52 02 $¤ F "% ( 9D r¤ A T¤ ( C( ( w3 "d 52 4¤ 02 C( &D "% $¤ Y F S Q a x ¤ 52 &( 02 @B ' u¦ "% &( &( ' $¤ '3 $ A E# "% $# "% 52 3 6

T# ( 9D rh B C( 0a 4¤ w3 H T¤ ( '% w3 "% ( ` 9D r¤ H ¤ $# "H 02 C( '3 @B &( ( 0P "H T¤ ( C( ( w3 " $¤ '3 $A C( '3 52 ' 52 ` 4¤ 02 C( &D "% $¤ Y 3 6 @ "H "% $¤ 9D r¤

13 52 0 "% $¤ 13 '3 52 0¦ Q

¢ ¡ !

lS 8 8 wT F qF ue v¥ y wT T p p ip r qp iF © wI qF i$ wD p h vR w kT ue hF ! ue p$ sR w¦ u qF e vt st r© u wo e hF ! u¦ q© F h r© ue s

hF F r¤ wT ! u T p s r© ue vt vR wI i$ q© w¦ ¤ vt hT i hD U wI F ue vt vR w" !# 4) 7% 35 7© ¨) w t & % e w #g wv $' 7% ( 8§ ¥' 46 wo u¦ F ue s$ g 46 ( e &

$' ( 02 & 8y 7 w t§ (a $' 8y 7 §¦ ¥' 3£ ¥' 46 w 02 & 35 w§ ¦# uv 7© ¨) w¤ j8 ue i i$ w e hT i p st p$ qF st i e u vR w hF 8 w2 B h¤ sR 2 p u ! sR F s

%

q© © F sR wT F s st v © wT wD r© st kF 8 wT ! r© ue vt vR w © u e ue e st hF F uo i u F i hF sR wD vt uI © u 8 kT vt s hT kT kT ue p p s7 ue i p u F s

B e hT i 9U e hF ! uX st v¨ p u 8 © h8 e hT i p st p$ qF st i e uX vR w! hF 8 wX r© ue vt vR w © u e ue e st hF F u! sR T p u © wT e

g3 st r© u w r© s& y wT T p3 u3 e F u3 vt h i$ © wD e st h F hF y i sR wX B e hF ! u © u ¨ 3 vR wD p hF F u ¨ q© U st r© u wD vt st e wD e sR hF F u

r© ue vt v ue i$ © u st u F w i u F i hF sR wD vt uT U u¦ p$ wT T p h2 ! u F h B e hF ! u © u ¦ u¥ ¤ p hF © ! q© © wo © q© wD vt st pD w

r© ue v3 ! hF F r© h8 ue i p u F h¤ ¤ © u F i 93 q© § w 4) 7% ( 4) 77 e F uy S w8 © wT p uy r© s¨ e sS h e F uy i st kF F s ¤ w¦ ue i i u u

t q© 8 wT F s R 7 u e F uo F hT s qF i sR wT ! h © u ¦ hF kF wT F st e wT u vt uo F hT i p$ u © u e ue e st hF F sy i u F i hF sR wD vt s

hT s © u e u F sR wT ! h st v3 ! hF F r© h¦ e hF ! uX u qF e vt st r© ue hI F hF © u e U uX ue i i h8 e hT i 9 i sR wI © u $ y wT T p

st v © hF F vt u 8 w r© s e hF ! u8 vR wI u wD vt pD w i sR w T u wT ! u T p u¦ F hF o © w wD vt q© o i u F i h¤ F st i p h e F u

© hT i i sR wT ! ho i hT vt p$ wT T p h i$ wT © u u e hF ! u¦ ue i i$ wI i s © ue i u T p$ w w§ 8y ( 7 e 3 8 wI © u e U u © qF ue i p h

S wo © wT p u r© ue v F hT i p$ h2 ! hF r© ho r© s ue i i u uT jo st v e hF F e ue p p h2 r© s i$ © wD e st h F hF © wo hF st kT sR F u

u 8 F sR st w© U 8 w uy q© U sR F ue F st p$ wT F st vt u¦ F ue e ue i i st pD w8 r© ue v3 © u F i st u h¤ R

lS 2 © wT p st e hT vR wT uT U u8 vR wI © hT i i sR F st vt st pD w 8 wD p u 8 wD p st w r© s kT ue hF ! ue p$ st u F hF o u qF e vt st r© ue uT

U uX vR w¦ T u s ¤ w¦ i$ © u sR ! u T p$ wD vt u! r© ue vt vR w F hF u qF e vt st r© ue st e st pD w r© ue vt vt h i$ © wD e st h¦ ¤ i st e h © hT i i hF F h

e hF T S qF p$ wT u8 vR w p ue i s3 r© s¥ y wT T p 3 © hT st e U u8 ue i i u F hF I i s7 s u st i e hF F ho wD v F hT i p$ hI ! hF r© h r© s

© u e u F sR uy st vU ! hF F r© hy ue i p u F h¤ ¢ F hT vt p$ wT T p hX q© U wT © wD vt st i s¤ r© ue vt vR w! © wD p$ q© wy r© ue vt vR w! © u e ue e st hF F u

© hT p$ u © © u! © hF r¤ q© u! q© © w! p$ wD vt uy e hF T S qF p$ wD e st hF F uT

q

Page 11: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 11/23

y wT T p! © w ue i$ © ue i i hI e F sR wT wT ! u T p u8 st v S wD p p h e F u8 ue i i u s r© st T u i s7 r¤ w F hT s7 © hT p$ u T

© u h B ue r wT F e s © u ! vR wo i$ q© w r© u$ U F st e st hF F uo r© s e F u e hT i$ wI i st kF F s ¤ e F s ue i i u uI t q© 8 wT F s R

r© hD © u © © u hF hF kF wT F st e wT uy st v¨ vt hF h8 ! hF r© h! r© sU sR T p u wD kT sR uy e hF ¦ u e hF F hT i e u uy st v ! hF F r© h

ue i p u F hX sR 8 ! hF r© hX r© st T u i hX r¤ wD v¤ F hT i p$ h¤ lS ¦ © wT p st e hT vR wT uT T vt u kT ue hF ! ue p$ st u F hF ! u qF e vt st r© ue u

e s © ue i u T p$ wT F h q© © w © hT i i sR F st vt u wD vt p u © wD p st D w wD vt vR w¦ hF 8 w¦ r© ue vt vt u © u e ue e st hF F s7 r© s3 ue i i u s

r© st T u i s¨ r¤ w¦ F hT s

¢ ¡¢ ¡ £# "y ¤ £# ¦¦ ¥ " ©§ £# ¦

¥X wD vt vt u r© u$ U F st e st hF F sU r¤ wD p u F ue kT vt s

g e & 02 & 8y 35 7$ F u e F sR wT hX e F u

c @qF e vt st r© uy e hF F i st r© u w i hT vt p$ wT T p h

i ue kF ! u T p sU B h ue p p u © hT p u F e sR wD vR ! u T p uT F 8 w F hF X wD p p$ q© wD vR ! u T p uT sR T U F st p u e j vt u &v uv 35 46 & 02 7% 3© ¨w

r© ue vt vt u ue p p u8 i hF F h © q© T p sy B r© u$ U F st e st hF F uS T e ¨ u¦ ue p p u¦ © wT wD vt vt ue vt u¦ i hF F h © qF ue vt vt u e F uT ¨ e hD

! q© F © qF u &v uv 35 &v uv &! sR u T p$ wT ! © uX vt u! r© sR ue e st hF F s 3 F hF i s sR F e hF T p$ wT F ho B r© u$ U F st e st hF F u T e

hF ! uy i u 8 © uT ¤ © qF ue i p h u sR I wD e e hF r© h8 e hF

B

st i p hT p ue vt uT j s 8 wD p u 8 wD p st e s F hF © wT © F h

F st i hT kF F h r© ue vt v sR T U F sR p hI u8 F hF vt hI qF i$ wT F h¤ j ue i i s © hT i p$ qF vR wT F h i hT vt p$ wT T p h¦ st v S wD p p h¦ e F u8 q©

i ue kF ! u T p h8 i s¨ © hT i i$ w! ue i p u F r© u u! w8 F sR wD e u uT 3 # 7U uv 7© ¨) w8 l l lc © y q T F © r qT e

¥X w¦ © qF ue i p hI © q© T p h r© s F st i p$ w st v © hT i p$ qF vR wD p h r© ue vt vt u © wT wD vt vt ue vt u © ue i u T p$ w q© o © hF T

vt u 8 w© ¨ © u e U u8 © wT vR w¦ © hF © st h r© s q© e hF 8 © hF p$ wT ! u T p hI B kT vt hF © wD vt u y wD vt v sR T U F st p h¤ sS h

st i$ qF vt p$ wX e F sR wT h8 F ue vt vR wX hF ! qF vR wD e st hF F u r© ue p p$ wy r© s£ ¤T hF © ¦ 3 vR w T S wD sR p i' r ©T e jU © u 7 q©

© q© T p h © wD i i$ w¦ q© © w¦ ue r2 q© © w¦ i hT vR w © wT wD vt vt ue vR w wD ro q© © w ue p p$ w8 r¤ wD p$ w¦ F hF e hF T p u F u T p u! st v

© q© T p h¤ o w7 S q! F hT p$ wD p h kT sS w r¤ wy hF e vt h¦ % i q r' i' s ¥8 ¨ wT F e F u © u vR w hF ! qF vR wD e st hF F u

hF st kT sR © wD vt uy r© s @ qF e vt st r© uT j r¤ wD p u r¤ qF uy ue p p u p$ wD kT vt sR wD p u r¤ w! q© © wX p$ wD i T u i$ wD vt uT T i u vR wX i hF 8 8 w

r© ue kT vt s7 wT F kT hT vt s sR T p u F s e hF st i$ © hF F r© u T p s r¤ w q© I vR wD p h r© ue vt vR w p$ wD i T u i$ wD vt u u8 ! sR F hF u¦ r© s

r¤ qF u¦ ue p p s U vt u! r¤ qF u¦ ue p p u! i s sR T p u i ue wT F h r¤ w¦ © qF ue v3 vR wD p h r© ue vt vR w p$ wD i T u i$ wD vt uT X l v3 e hF X

! u T p hI r© s hF e vt h S q wT © © q© T p hI e F u r¤ qF u ue p p u¦ sR 2 p$ wD vt s7 e hF F r© st e st hF F s i s w F F st e sR © wT F h

e u p h8 sR F r© u$ U F st p$ wT ! u T p uT ¨ 8 w! © hT p$ u © © u h wT F e F uy ue i i u u! wD i sR T p hT p st e F uT

B

wT qF i$ wo r© s © qF ue i p$ wo i$ q© wo © ue qF vt sR wT st pD w© e s7 S q© hF F h F ue s i ue e hT vt sy ! hT vt p s p u T p$ wD p st F s

r© s r© ue r¤ q© u8 st v3 © hT i p$ qF vR wD p h¦ r© ue vt vt u © wT wD vt vt ue vt u8 r¤ wD s3 sR 8 wT F u T p s © q© wD p p$ h¤ © p u T p$ wD p st F s p$ qF p p s

sR T ¤ e sR wD p sy r¤ wo q© qF i ho sR 8 F vt st e st p h r© s q© © wI hF 8 w ue © qF st D wD vt u T p uo r© ue v © hT i p$ qF vR wD p h2 r© ue vt vt u

© wT wD vt vt ue vt uT 0 l v! © sR ! h r© sy ue i i s S q S wD p p h2 r¤ w D hT vt hF ! ue h s q ¥8 e 7 e F u2 wD i i$ q© F i u

sR 8 F vt st e st p$ wT ! u T p u8 st v © hT i p$ qF vR wD p h¦ F ue vt vR w¦ T u i st hF F uy r© s 3 vR w T S wD sR e

f © w sR © F hD D wD e st hF F u¦ e F u8 i ue kF ¨ hI q© © w i T hT vt p$ w F ue vt vR w i p hF sR w r© ue vt vt u r© sR ! hT i p$ wD e st hF F s

r© ue v © hT i p$ qF vR wD p h r© ue vt vt u © wT wD vt vt ue vt u¦ S qo sR T p$ hF r© hT p p$ w¦ r¤ w ¦2 wD vt vt st i u8 e hF F i st i p ue p p u F ue v7 u T

r© u u ue i$ F vt st e st p h v qF i ho r© s q© © w hF 8 w ue © qF st D wD vt u T p u r© ue v © hT i p$ qF vR wD p ho r© ue vt vt uI © wT wD vt vt ue vt uT

lS T T ue e u r© s e u wT u¦ r© s © hD D wT u8 st v © hT i p$ qF vR wD p hI r© ue vt vt uI © wT wD vt vt ue vt u r¤ wD s sR 8 wT F u T p s7 © hT i

p$ qF vR wD p s7 B uy r¤ wD vt vt uX vt hF h8 e hF F i ue kF qF u F e u e U F ue v h h ¦2 wD vt vt st iX F uX © hD ¨ hI qF i$ wT F r© h! i hT vt p$ wT T p h

s7 sR 8 wT F u T p s7 © hT i p$ qF vR wD p sR X v ue © qF st D wD vt u F wo vt hT kT st w e hF 2 q© o p ue hF u 8 w¦ r© ue vt vR wI kT ue hF ! ue p$ sR w

¤ y }% }5 j5 ka zp k zC ¤ 6 a ja l 6 a }5 j% p v y ~£ p # z j5 ¤ zp ka zp k v k) }5 j% ¤ a ¤ c ~£ p ¢ k }% p ) {¤ k |) }% |) k a zp kC l

6 j5 j% |a ¤ z j5 # ¤ 5 ka ~6 k zp ka zC ¤ p ~¤ 6 k

T

Page 12: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 12/23

u qF e vt st r© u w© ue e st i$ wT ! u T p uT T st v¢ 35 &) ( 46 & 02 w t & 7H 35 4) 7% w 8 $' ( e 7 uv 7% 02 7% e 7$ j¨ i$ q8 q© 8 i ue kF ! u T p hX r¤ wD p h

i s © q¨ h8 e hT i p$ qF sR u! q© ¦ p$ sR wT F kT hT vt h8 i sR ! st vt u8 wD r q© F h¦ r¤ wD p h¤

hT st e U uy vR w8 r© sR ! hT i p$ wD e st hF F u! r© ue v¨ p ue hF u 8 w! r© ue s p$ sR wT F kT hT vt s i sR ! st vt s qF i$ w8 st v3 © hT i p$ qF vR wD p h

r© ue vt vt u¦ © wT wD vt vt ue vt uT ¨ v wT kT hF ! u T p h8 r© s ¦2 wD vt vt st iX F hF o u! q© I © hT kF ue i i h8 r¤ wD v3 © q© T p h¦ r© s F st i p$ w

r© ue vt vR wo r© sR ! hT i p$ wD e st hF F u¦ r© ue v © hT i p$ qF vR wD p hI i p ue i i hI wI © wT p sR u¦ r¤ wD s7 sR 8 wT F u T p s © hT i p$ qF vR wD p s

o wy ue i i$ wy © hD ¨ hX e F u wT F e F u st v¤ p ue hF u 8 w r© ue sU p$ sR wT F kT hT vt s© i sR ! st vt s w T ue D w vt h! i p ue i i hy i p$ wD p$ qF i

r© ue v © hT i p$ qF vR wD p h r© ue vt vt uI © wT wD vt vt ue vt uT u8 S qo st v © sR ! hI © wD i i hI T u i h vR w e vR wD i i s ¤ wD e st hF F u r© s

© q© wD vt s3 st i$ qF vt p$ wD p s st e F st ue r© hF F h q© qF i h8 ue i i u F e sR wD vt u! r© s¨ p$ wD vt u! © hT i p$ qF vR wD p h¤ F uX i hF F h! r¤ q© F © qF u

wT wD p p u st i p st e s r© ue vt vR w2 kT ue hF ! ue p$ sR wI u qF e vt st r© u w© g¨ wo r© sR ! hT i p$ wD e st hF F u r© s sR F r© sR © u F r© u © w

r© ue v © hT i p$ qF vR wD p h¦ r© ue vt vt u¦ © wT wD vt vt ue vt u¦ ! hT i p$ h¦ e F uX p$ wD vt s st i$ qF vt p$ wD p s i hF F h¦ sR F r© sR © u F r© u T p s7 ue i i s

i p ue i i s U w! ue i i s j

vR w! i hF 8 8 w! r© ue kT vt s wT F kT hT vt s r© s q© p$ sR wT F kT hT vt h uy e hT i p$ wT T p u

ue i st i p u! q© ¦ p$ sR wT F kT hT vt h8 vR w8 qF s¨ i hF 8 8 wX r© ue kT vt s3 wT F kT hT vt s3 u q¢ ¡

ue i st i p hF F h8 p$ sR wT F kT hT vt s i sR ! st vt s3 F hF e hF F kF qF u T p s

ue i st i p hF F h8 p$ sR wT F kT hT vt s r© s wT u w8 wT F st p$ wT sR wT ! u T p u kF wT F r© u

st vH D¨ ue hF u 8 w! r© s 3 st p$ wD kT hF w

ue i st i p hF F h8 vt sR F ue u! ue © qF st r© st i p$ wT T p s3 q© © w! r¤ wD vt v wD vt p$ w

ue i st i p hF F h¦ ue p p$ wT F kT hT vt s B © q© wD r¤ st vR wD p u s¨ e hF © q© wD p p$ h8 wT F kT hT vt s ue p p sR

© u 7 p$ uX © q© T p s © wD i i$ w8 q© e u e F st h¤

g3 st r© u wy r© s¦2 wD vt vt st i7 i s¤ © q¨ h! sR wD i i$ q© ! u u7 r© st e u F r© h! e F u ue kT vt s¤ i s¤ © ue hF e q© ¨ hX r© s© T ue r© u u

F hF i u! kT vt s3 wD i i st hF ! s¨ hT i i u hS u¦ ¥ ¨ 7% & 8y 35 7 © u r© sR ! hT i p$ wT uX e u p s3 st i$ qF vt p$ wD p s B st v e F u! i s

u w8 i u 8 © uy S wD p p h¦ F ue vt vR w 8 wD p u 8 wD p st wT e ¤ 8 w8 i uX ue i i s¨ hT i i u h8 sR T T ue e u 8y &$ ¨) &v u) uv w 4) 7 © u

r© sR ! hT i p$ wT u7 © qF ue s¤ st i$ qF vt p$ wD p s e d¤ £ lS 8 q© © wy © wT hT vR w© T e sT S q8 q© F hy i$ © hT i p$ wT ! u T p h r¤ wD v¤ © hD D wT u

p ue hF u ! sU r¤ wD kT vt s3 wD i i st hF ! s¨ wD v © hD D wT uX wD i i st hF ! sU r¤ wD s¨ p ue hF u ! s

©st vR © u p3 ue e u7 r© s© p$ wD vt u7 st r© u w st v¤ ! hT p st T h e u T p$ wD vt u7 r© ue v© i$ qF hy vt sR © h¤ T u F u F hT pD h v sR T p sR 8 w

e hF © F ue i i st hF F u7 e hF y v st r© u wD vt u7 r© ue vt vR w ¥' 46 &v x) xv w t 7 02 & 35 ( t 7$ y qF ue i p$ w e hF F i st i p u7 wT © © q© T p h F ue v

F hF ¦ qF i$ wT uT © F ue vt vR w! r© sR ! hT i p$ wD e st hF F u r© s¨ q© ¦ st i$ qF vt p$ wD p h¤ © ! ue p hF r© s¤ ue i p$ wT F ue sU wD vt v u F q© F e sR wD p h

r© ue v st i$ qF vt p$ wD p ho i p ue i i h wD r2 ue i u 8 F st h¤ ! ue p hF r© s F hF 2 wD vt kT u © st e s F ue vt vR wo r© sR ! hT i p$ wD e st hF F u

r© ue v¨ p ue hF u 8 wX hF F r¤ wT ! u T p$ wD vt uy r© ue vt v wD vt kT u © wT e

¥§ ¦C a }¢ ¤ ka k) }5 # v ) ~6 ~6 6 j5 j5 a ¤ ¢ j5 a # ¤ zv zp ~¤ ) j5 kc ~6 k H k) }5 j% ) j5 k ¤ H a zp a k) a ~6 ka z © ¨ k) }5 j%

) j5 k c v p ~¤ $ %# }% z2 }5 6 ¤ z j5 k ) j5 k }% lkc ~6 k) }5 j% 5 ¤ g z2 ~6 ¤ ¤ ~£ k ¢ y ¤ zv zp ~¤ ) j5 k 6 }% 5

U a zp a k) ) ¤ ka 5 6 ja lc ¤ ¢ y j% 5 a zp ) ka 6 ¡ p g |a a z j5 ) ) a k v y 6 }5 }5 ¤ ¤ ¢ kv ~6 a c ~6 k g ) p 6 }5 j5 k c v

U ¤ ¤ ¤ zp {6 g ¤ © ¨ k) }5 j% ) j5 k v

§ a ¤ kv ~6 6 v ¤ z j5 k l k) ) a ~6 k

g

¤ ¤ ~¤ a {6 {6 ) j5 k ~6 ka z a ¤ a zp ~¤ e ja l }5 k) j5 j5 kH U 6 j% ~£ p 6 j5 j5 g v

£ #§ !# " $ %& !# " ( '§ # 6 l zp k# 6 a ' 6 }5 ' v y zp ka |) ja l # ~¤ }% a p 6 |a g zp ¤ U z j% ¤ kv v {¤ ka z )

Page 13: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 13/23

¢ ¡¤ £y ! £# ¦¢ ¡c "y ! £# "y !# " ¢F © !# p ¦¤ "y !# ¢ "y ¤ y ¦¦ ¥

l v8 i hT i$ © ue p p h r© ue vt v sR F r© sR ¤ u F r© u © w r© ue v¦ © hT i p$ qF vR wD p h r© ue vt vt u © wT wD vt vt ue vt u u © © u e hF vt h

i F st vR q© © © h r© ue s¨ st i$ qF vt p$ wD p s © ue e ue r© u T p s © r¤ w8 © wT p u r© s

B

r¤ st u o wT st uX gU ue kT u F r¤ u¦ s r

T e 7 xy u hT vR wT ! h © wD e e F u s8 h h r T e ¤T hF © wT © " © ue sR © st e g¨ wT ! © u po r

T e wT v U st ue r¤ st e I xX wT qF i iX r s sT e T s

%

hT vR wD s gU hF © wD e F ue F i

%

2 © r s hT

u ¤U wT F hT i A hT v F wD s q r h qT e @3 i i sU i F st vR q© © © wT hF F h wy hF F r© h8 vt uy e hF F i ue kF qF u F e uX r© ue vt vR w

F ue kF wD e st hF F u r© ue v¤ © hT i p$ qF vR wD p hy r© ue vt vt uy © wT wD vt vt ue vt u8 F ue vt vR w hF 8 w© j¨ ue i st i p hF F hX q© © wy ue p p$ w ue r¦ q©

© q© T p h¦ F hF ¦ i$ q¦ r© s¨ ue i i$ wX p$ wD vt s e F uX © u 7 st v © q© T p h¦ © wD i i$ wT F h8 wD vR ! u F h¦ r¤ qF uX © wT wD vt vt ue vt u8 wD vt vR w

ue p p$ w8 r¤ wD p$ wT e @3 © qF st D wD vt u T p u ! u T p uT 3 wT F e F u! i u8 F hF I w © sR 8 w¦ F st i p$ w© U i s3 © q¨ h qF i$ wT u! st v

F s q¦ hF p u2 wp u) uv 7% ( 02 wF 7 & 4¦ ¢a ( e 7© ¨) (¤ j3 © u q© © q© T p h¦ © wD i i$ wT F h8 wD vR ! u F h8 r¤ qF u! © wT wD vt vt ue vt u8 wD r

q© © w! ue p p$ w r¤ wD p$ wy F hF 8 e hF T p u F u T p u st vU © q© T p h¤ # @3 i i h8 u e hF F i ue kF qF u F wy r© ue vt v hF ! hT kT u F ue st pD w

r© ue v7 F sR wT F h¤ ¨ e F uX S w¦ i 93 e F u8 e sS h e F u8 D wD vt u8 sR o q© © w © wT p u! D wD vt kF w wT F e F u8 sR I hT kF F s wD vt p$ w

© wT p uT

gU h i e hF © h hF st kT sR © wT st h r© sX p$ wD vt sX st e u e F uo u w © qF ue vt vt h r© sX i F st vR q© © © wT u2 p$ wD vt sy e hF T

i ue kF qF u F e u U F h8 wy p$ hD D wT u q© © wy e hF T p$ wD r© r© st e st hF F uy e hF ! p ue hF u ! s¤ r© ue vt vR w2 $' &) ( 02 & 35 4) 7% w2 8y &¤ ¥

35 46 w e &I © wD i$ wD p$ w! i hT vt p$ wT T p h8 i$ qF s © sR ! s © q© wD p p$ h © hT i p$ qF vR wD p s r© s¢ @ qF e vt st r© u e ¨ u! r© sR ! hT i p$ wT u

e hT i 9© st vU © hT i p$ qF vR wD p hy r© ue vt vt uX © wT wD vt vt ue vt uT g D wD vt s¤ wT qF p hF sF hT p p u © F u h! q© © w kT ue hF ! ue p$ sR wy wD vt p u © w

p st D w8 r© ue p p$ wF 7 & 4¦ ¢a ( e 7© ¨) w¤ © i u F w8 © u h sR qF i e sR u! wD r hT p p u F u uX q© © w8 e hF T p$ wD r© r© st e st hF F uT e da d

l st i$ qF vt p$ wD p sU i$ qF e e ue i i st F s¨ ! hT i p$ wT hF F hy e F u F hF 8 i hT vt h! F hF 8 i s¤ u wy p$ hD D wD p$ wy q© © wy e hF T

p$ wD r© r© st e st hF F uo F ue vt vR wo kT ue hF ! ue p$ sR wI sR © u © hT vt st w© y 8 w e F uI F hF 2 u wo © hT i i sR F st vt uo p$ hD D wT vR w© j

p$ wD vt u kT ue hF ! ue p$ sR w u ) ( 8 uv 7U uv 35 & 8y 35 &F 2 u X S wT u e sS h¤ i s e hT i p$ qT 9 q© ! hF r© ue vt vt h2 kT ue hF ! ue p

st e h sR o qF s s7 © sR ! s © q© wD p p$ h © hT i p$ qF vR wD p s r© sg @ qF e vt st r© u u8 v wD i i st hF 8 w¦ sR © u © hT vt st e h2 i hF F h

i hF r© r© st i S wD p p s

g w! i p$ wD r¤ w! © u kT sR q© F kT u u! w! p$ wD vt uX st i$ qF vt p$ wD p h8 S q F sR qF p p hT i p h8 vR q© F kF w©

¥X wT © © sR 8 w8 xX wT qF i i r© u$ U T 9 U F ue v © T st v e hF F e ue p p h8 r© s¨ q© D wD p$ q© w! r© s q© © w8 i$ q© © u S

¤ e st u! r© ue vt vt h¦ i$ © wD e st h¦ u qF e vt st r© ue h¤

"¤ £¦ ¥ § ©¦ ¥¨ §¢ ¥¨ ! £¦ ¥ § ©¦ # "$ % & 02 $H ¤ $H T¤ ¤ $! &( ' ' GP 4¤ ¤ £# $¤ 02 &D "W 4# ") (e 0c &( '3 $B $¤ 5a fF i3 v¤ f

B 4# " e 1! 13 $¤ C` $¤ 5X fF i3 v3 V3 SW C( 08 '3 &( &( 02 $¤ 9 '3 $¤ C( 02 4¤ D "% $¤ 4¤ '3 2

4

6a 4¤ '% w3 ! 5A B 02 58 D "% 13 13 02 ' 4¤ 5c 9 ( 9D r¤ 02 '

GP '3 C( 9 ¤ 5P "% &( '3 ( F Sc '3 &( &( $! ¤ &( 'B T¤ ( $¤ 4¤ $¤ 4¤ 'B 02 5h 52 02 @B 02 &( c 4¤ 0 9 ( 9D r¤ 0¨ T# "% C( CD "% $! &( 0 T# ) '

2

6 'H 6¤ 6 '8 7H GP 4¤ '% w3

5 "v j5 ka 5 ~6 ¤ z j5 ¢ k) }% {¤ ka zp # ¤ ' |a a 5 a p j5 ka 5 p e v ¤ ¤ ¤ zp {¤ ) j5 ¡ % ' 6 ) ¤ zp v ¤ H "v ) ~6 ~£ p ¤ 5 ' ~¤ ¤ 6 6 j¢

j5 ¤ ¤ kg v a |) ¤ ¢ 6 j5 j% |a ¤ z j5 # v k) }5 j% ¤ ) j5 kc ' k) }5 j% ) j5 k 9' ' ¤ ¤ jH }% ' ) ~6 ~6 ka ¤ }5 # v a |) ¤ H }5 |) p ) j5 k

zp C zv p ka |a ) 6 k 6 j% 5 v zp ka z a |) ¤ c ¤ ) ) a z j5 k zp 6 }5 }% zp ~6 ka z j% ¤ ) v {¤ ka zp ¦ 9) @H a p }5 } ~6 a lAH ~£ p

) 6 k 6 j% 5 ¤ 5 ka ~6 C k) j5 6 |a 6 }5 }5 ¤ ¤ z |) v y 5 zp ~¤ k ) p ¤ C ¤ ka zp k &p }% ~6 k 6 C ¤

U 6 j5 j% lk ) v 5 j5 j% ¤ C j5 ¤ z j5 ) j% |) v |) ¤ 5 &p ~£ p c ) 6 k) a ¤ &p ~£ p ¦ 9 ' ka p ) ~£ p 6 |v } B C2 ) D ka C) a y ¤ ka |a a ¤ ka zp k ~£ p

c ) 6 k 6 j% 5 c ¤ p ~¤ 6 ¤ ¤ # zC ~6 ) }5 k# j5 g ¤ c zv p ka |a c ) 6 k 6 j% 5

6 ' ¤ ¤ j ' ka p ) ~£ p 6 |v } B C E D ka C) a a |) 6 |a a zp kg }5 |) p ) j5 kg g ) 6 k 6 j% 5 # ¤ 5 ka ~6 g z j5 ¤ z

v " F" !H G !# % " ( ! I ¢ P !¦ Q ( '¤ ! ¢ }% y ) ~6 ~6 ka ¤ }5 ¤ ¤ kc ~£ p # ) p 6 }5 j5 ¤ ¤ g c j% 5 ) ka zp k 6 j% 5 C v ' zp }% U ¤ ¤ c v

¤ ) ) a k¢

g

) a zp a 5 k y }5 }% ' U }5 ka ¤ ) j5 j% p j5 j5 k# D ka C) a e y |) ¤ ¤ k# j5 a p 5 }% j5 ) j% ~6 k zp ¢ v k) }5 j% ¤ ) {¤ ka zp

v H a p }% e ja l y ¤ zv p ka |a ) 6 k 6 j% 5 c ~6 k z ja l ) j5 ) j% ~6 zp ka zC e C ~6 ka z |) z j5 & zp k

a U a |v |) ¤ z j5 k ¤ g |) ¤ ¤ ¢ v k) }5 j% ¤ ) {¤ ka z v ~6 ka zp }% }5 j5 ¤ zp {6

Page 14: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 14/23

'

2

6 '8 7e C( '3 $¤ 'H 4¤ ¤ W T¤ ¤ $! &( 0 C( & 4# "` T# "% ( &( 0h '3 T¤ T# '3 C( &( X 4¤ 0 'X S 6¤ "% 5h &( $¤ 4¤ ( X 4¤ 08 '

2

6 '8 7W " 'H Qa "

9 ¤ ( w3 "% &( ¤ D "B r# "B ¤ $A C( 13 $¤ ' 9D r¤ ` 4¤ 02 9 H 4# "B ! # "% 52 X T# "% ( &( H 4¤ 52 5P "H 9 ¤ ( w3 "B 02 5¨ 9 ( 9D r¤ 02 ' '3 C( 9 ¤ 5P "% &( '3 ( H C( 0

&( ( '% w3 "¤ Q

"! £¦ ¥ § ©¦ ¥¨ §¢

¡

¥£ ¢¤ ¢ % E ¥¨ ¥ ¢ ¥ "§ ¦¦ §© ¨E £¦ © ¦ W 4¤ ¤ £# $¤ 02 &D "` $¤ 5 @B '! 4¤ 'X C( 13 ¤ $! &( 8 4# "% &( '

¤ $ T¤ ¤ $! &( '¤ ' C( e 6! C( 0h 9 '3 $¤ C( 02 4¤ D "` 02 5h T¤ 0P "% $¤ ' B &D "% $¤ 13 $! &( X "% 4 02 $ 'H 6! e 5P "X ( &( &D "¤ 5W T# ( T# $¤ 4¤ 0

9 '3 5P "% ( W " B e T# "% C( CD "% $! &( e T# ' 3 C( 0# 9 '3 $¤ C( 02 4¤ D "% $¤ '` 52 e 9 ¤ ( w3 "% &( ¤ ( W 4¤ 0# &( ¤ &( &( e 52 e 9 ¤ ( w3 ) & '3 &( &( $! ¤ &(

T# c 02 $! &( ( C( Y 02 '3 $¤ W 4¤ 0 9 '3 $B ¤ $B T¤ 0P "% $¤ 'X T# "% C( CD "% $! &( W T# # 5! 6! e C( 0h @B '3 52 &( 02 T¤ 52 0 9F "% $¤ 'e 0# w3 "% 52 '3 ( 0¤ @B 02 $¤ 02 @B '

W @ "% C( C( 02 @B 'W 4¤ 0 &D "% 52 0# 9 ¤ ( w3 "% &( ¤ ( 3 Q

xX wT qF i i i s3 wD e e hF i u! © hT s3 e F u! st v e hF F e ue p p h r© s q© D wD p$ q© w uX sR T p$ sR F i ue e h¤ F ue v3 i u F i h

e F u8 r© sR © u F r© u¦ i hT vt p$ wT T p h¦ r¤ w ! st i$ q© u8 e F u! i s © hT i i hF F h u$ ¨ ue p p$ q© wT uX i$ qF vt vR w i$ q© © u S ¤ e st uT u

F hF r¤ wD v¨ ! hF r© h8 sR qF s vR w! i$ q© © u S ¤ e st u uy sR 8 ! u i$ w8 F ue vt vt h¦ i$ © wD e st h¤

¥! W ¤ $# "` C( ¤ T# © £# 9 02 H X 4¤ ¤ £# $¤ 02 &D "` @B 4¤ 0P "% $! &( c ! # "% Y 02 '3 $¤ 0 T# "% D "% @B &( ( 02 9D r¤

¥ " !

G$ #& %¤ '3 S) (

1 0

G$ #& %¤ '3 S3 2

5 4

G$ #& %¤ '3 S6 %

5P "X @B &( ( 02 9F "B GP 9D r¤ X 4¤ ¤ £# $¤ 02 C( 9 X 5P "X 4¤ 02 C( &D "% $¤ YF "3 S

79 8

7

7

7A @

7

(

7A @

7

2

7

4¤ 02 w3 $! &D "

79 8

7

1 0

2 2

7#

7B @

U

0

2

77

#7

'

@

0

7 77

'

7

%

4¤ '% w3 W 0h 9 '! ¤ CB 9 02 $! &( 0

0£ D E

C( '3 $¤ '` u¡ ¤ $¤ Y 02 '3 $¤ 0h 4¤ 0B #B '¤ Q

F

"% ¤ C( C¨ &( ( '% wh 'W 9D r¤ c 5P "e 9 ¤ ( w3 "% &( ¤ D "W 4¤ 52 5P "c C( ¤ T# © £# 9 02 e C( 0# T¤ 'W C( T¤ ( 02 @B ( c @B 4¤ 0P "% $! &( a ¤ $# "c u¡ '3 ¦

@H ¤ 5P "¨ 4¤ 0 Gh ( $¤ Y 0P "% 52 a $¤ 0! C( '3 52 0% 9 '! ¤ CB 9 02 $! &( 0

0£ D E

6F ¨ 4¤ ¤ $¤ ! ¤ a C( '3 52 &D "% $! &( 'c 02 $e u¡ ¤ $¤ Y 02 '3 $¤ ¨ 4¤ 0! T# "% D "% @B &( ( 0

# '¤ Q

xX wT qF i i! © hD ¨ ho © hT s q© st i$ qF vt p$ wD p hI e F u © u i sR F ho vR qF s 7 © u F hT p hI © u ! vR wI i$ q© w ue i s

kT u F w© e F sR wT h 3$ H' &) ( 46 & 02 w§ &¤ $' 46 &¤ $' 7 ¥' 0 jX r¤ qF u¦ i$ q© © u S ¤ e st u st i hF ! ue p$ st e F uo B e st h¤ u8 sR 2 e hF S

st i$ © hF F r© u F w! ! ue r© sR wT T p u q© © wy F st ue e st hF F uy e F u e hF F i u D w vt u r© st i p$ wT F e u 3 r© ue T hF F hX w T u u7 vR w

i p ue i i$ w! q© D wD p$ q© w© 7 lS © wT p st e hT vR wT uT U w T u u q© D wD p$ q© w8 e hT i p$ wT T p u! uy e hF F r© st e st hF F u¦ F ue $

ue i i$ wT sR w8 © u e U uX q© © w! i$ q© © u S ¤ e st u8 wT 8 ! ue p p$ wX ! hT p h8 st kT st r© h¦ r© s¤ ¤ kF q© u¦ B e st h¤ uT © © u e U uy vR w

i$ q© © u S ¤ e st u! wT © F sR w! st v¨ 8 wD kT kT st hF F q© ! u h8 © hT i i sR F st vt uX r© sU st i hF ! ue p$ st u e ¤ u r© sR © wT F r I sR F rF

sR F k q h r sT X © hD ¨ h2 F ue v ©I e F u p$ wD vt u e hF F r© st e st hF F u u wT F e F u i$ qT m¦ e st u T p uT 7 u

r¤ q© F © qF u! vt u! i$ q© © u S ¤ e s3 w8 q© D wD p$ q© w! kF wT qF i i sR wT © w8 e hT i p$ wT T p uy i hF F h8 ue i$ wD p p$ wT ! u T p uy © qF ue vt vt u

e F u! © u ! ue p p hF F h¦ ! hT p h8 st kT st r© h¦ r© sU ¤ kF q© uT

hT st e U u vR w kT ue hF ! ue p$ sR w u qF e vt st r© u wX © q¨ h wT © © q© T p h ue i i u u3 F st i p$ w7 e hF ! u vt h i p$ qF r© st h r© ue vt vt u

© hF © st ue pD w sR T D wT sR wT T p s¤ st i$ © ue p p hX wy ! hT p h st kT st r© h¤ T vt u i$ q© © u S ¤ e s¤ w q© D wD p$ q© w kF wT qF i i sR wT © w

e hT i p$ wT T p uX r© st T u T p$ wT F hI ! hF r© ue vt vt s r© s © hT p u F e sR wD vt s7 kT ue hF ! ue p$ st uT X lS o © wT p st e hT vR wT uT ¨ vt u¦ ue p p u

i

Page 15: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 15/23

r© s3 p$ wD vt s kT ue hF ! ue p$ st u! i hF F h vt u $' &) ( t & 35 7© ¨ H' &F U e st h¤ uX vt u8 vt sR F ue u¦ r© s ! sR F sR 8 w¦ r© st i p$ wT F w2 B i$ qF vt vR w

i$ q© © u S ¤ e st u e

ue vt vt h i$ © wD e st h st v7 F sR wT F h u! st v e st vt sR F r¤ ho © wT © F h q© D wD p$ q© w¦ kF wT qF i i sR wT © w F qF vt vR w© ¨ u! vR w

i u wX © wX q© D wD p$ q© wX e hT i p$ wT T p u © hT i st p st D w©d

xX wT qF i i7 p$ hD ¨ hX q© 8 ue i u 8 F st hI F hF ! v q© F st e h

© hT i i sR F st vt u X r© s i$ q© © u S ¤ e st u¦ w8 q© D wD p$ q© w¦ e hT i p$ wT T p uX F ue kF wD p st D w© j vR w y uv &¤ ¥' t (p u §v & 46 w¤ @3 i i$ w

u w i p$ wD p$ w r© u$ U F st p$ wX r¤ w © q© F kT u F i7 F ue v h © © D qF hT p$ wT F r© hX wD p p hF F hy wD v© i$ qF hX wD i sR T p hT p hy q© © w

q© D w r© ue p p$ w2 35 46 w 35 35 4) 7© ¨) &! B r© u$ U F st p$ w r¤ wy u¥ ¤ p hF ! F ue v h h© D ! ue r© sR wT T p u7 vR wy © hF © st ue pD w e F u

sR hT kF F s © q© T p h8 vR w! p$ wT F kT u T p uX © w! r© st i p$ wT F w8 e hT i p$ wT T p uQ

8 r¤ w8 q© wD i sR T p hT p hF e

d

b

A u © wT r¡ ¢7 st u 8 wT © h r h hT ue i p ue i uT ¤ F ue v sp i¤ T st v e hF F e ue p p h8 r© s¨ q© D wD p$ q© w

kF wT qF i i sR wT © wX wy i$ q© © u S ¤ e sU e F uy F hF ! i hF F h! F ue e ue i i$ wT sR wT ! u T p u sR 8 ! u i uy F ue vt vt h! i$ © wD e st h! u qT

e vt st r© ue h¤

¡c 02 @ "% $¤ $H ( 02 E# "% 52 &F 'X 5¦ x "% T¤ T¤ ( '! 9 9 02 'H 4¤ 0F

"% ¤ C( C ¨ 02 $! w3 9 W 4¤ 0 T# "% ( &( 02 ( W 4# "` ¤ $# "` C( ¤ T# © £# 9 02 X $¤ 52 52 '

C( T# "% Y 02 'H 4¤ ¤ £# $¤ 02 &D "` @B 4¤ 0P "% $! &( e ! # "% Y 02 '3 $¤ 0 T# "% D "% @B &( ( 02 9D r¤ 3 6! ! £ ¦ ¥¨ § § ¦X 5¦ x C( T¤ ( C( C( 02 '3 $¤ X 4¤ 0 9 '! ¤ CH

9 02 $! &( 0

0£ D E

4¤ 52 5P "X @B &( ( 02 9F "¤ 63 13 52 08 £ ¦$ E £ ¢

¤

4¤ 02 ( &( &D "% @B $! &( e ¤ $# "X C( ¤ T# © £# 9 02 X @B 4¤ 0P "% $! &( e 5P "W @B &( ( 02 9F "

79 8

7

1 0

2 2

7

#

7B @

U

0

2

7

7

#

7

'

@

0

7 7

7

'

7

%

4¤ '% w3 ` 0¨ 9 '! ¤ CB 9 02 $! &( 0

0£ D E

C( '3 $¤ 'B u¡ ¤ $¤ Y 02 '3 $¤ 0a "% ( E¤ 02 &( D "% ( 02 ` 4¤ 0A #A '¤ 6h C( '3 13 13 &( &( H C( '3 52 &D "% $! &( ' "% 52 5P "` 9 '3 $!

4¤ 02 Y 02 '3 $¤ W 9D r¤

79 8

7¦ ¥

t¤ Q

") 9 ¤ ( w3 "% &( ¤ D " ( 02 @ "% $¤ $¤ 0P "% $# "A 4¤ 52 5P ") C( ¤ T# © £# 9 02 ) C( 0X '3 &( &( 02 $¤ A ¤ CD "% $¤ 4¤ ') u¡ '3 ( @ "% 52 @B $! &( B 5P "

C( &( C( CD "` C( T¤ ( C( C( 02 '3 $¤ X 4¤ 0 Gh ( $¤ Y 0P "% 52 e 9D r¤ e 4¤ ¤ £# $¤ 02 C( 9 W 02 $! &( ( 02 $¤ C( 9F "% @B $! &( e 5P "e 9 ¤ ( w3 "% &( ¤ D "X 1! "% ¤ C( C( 0P "% $# "

GP 02 $B u¡ ¤ $¤ Y 02 '3 $¤ W 4¤ 0 9 '!¤ C

B 9 02 $! &( 0

0£ D E

S Q

¢7 st u 8 wT © o F hT pD h¦ e F u8 ue i st i p hF F h p$ uX r© st i p sR T p u8 kT ue hF ! ue p$ st u B r© hD T uX vt u¦ ue p p uX i hF F h vt u

kT ue hF r© ue p st e F u 7 © u i$ q© © u S ¤ e s¨ st u 8 wT © F sR wT F uX wy q© D wD p$ q© wX e hT i p$ wT T p uT j¨ ue i i u i hF F hX wT wD p

p u st e wD p uo r¤ wD v S wD p p h2 e F uo vR w i hF 8 8 w2 r© ue kT vt s! wT F kT hT vt sy sR T p u F sy r© s! q© p$ sR wT F kT hT vt h i sR w

8 wD kT kT st hF uT qF kF q© wD vt u hI ! sR F hF u¦ r© s q¢ ¡ st i$ © ue p p st D wT ! u T p u F ue s wD i s sR 2 qF s vR w q© S

D wD p$ q© wo u¦ © hT i st p st D w© F qF vt vR wI hI F ue kF wD p st D wT e lS 2 © wT p st e hT vR wT uT e hF ! u! S q2 F hT p$ wD p h wT F e F u

r¤ w @ qF kT u F st h§ A ue vt p$ wT ! sy s r © q qT F ue v h h© ¨ vR w kT ue hF ! ue p$ sR w r© s7 q© © w i$ q© © u S ¤ e st u

st u 8 wT © F sR wT © wX w q© D wD p$ q© w e hT i p$ wT T p u F ue kF wD p st D w! u sR © u © hT vt st w© F u vR wy F i u qF r© hT i u wy wT T

© ue i u T p$ w¦ r¤ q© F © qF u¦ q© o ! hF r© ue vt vt h r© s q© © w © wT p u! r© ue v F sR wT F h sR © u © hT vt st e h2 F ue vt vt h i$ © wD e st h

u qF e vt st r© ue h¤

" T¤ C( ¤ 4¤ '3 C¦ u¡ D ") D "% T¤ T¤ ( C( $! &D "A C( '3 52 &D "% $! &( 'A ¤ $# " T# '3 ( Y 02 '3 $¤ B 4¤ 0c T¤ 0P "% $¤ ' 02 T# ( E# '3 52 02 9 'A T# ( 9D rh

C( CD "H r# "H ¤ $# "` C( 02 $¤ 13 '3 5P "% ( 02 &F "X $¤ 5 T¤ ¤ $! &( 'B "` 9 ¤ 0¨ &( $¤ 4¤ X 5¦ x "% C( 02 $! &( '3 &( '# 6! @B $! &( ( W 02 5h T¤ 0P "% $¤ 'H 02 T# ( E# '3 52 02 9 '

H ¤ ' a zp k H z ~£ p g ~¤ ¤ |) ¢ g ~¤ ¤ |a ) j% ¤ c ~6 k) }5 j5 a z j5 # }5 ka zp kg # ¤ 6 j5 j5 g H ~6 ¤ ¤ ~£ k

U

e zp k j% ¤ ) j5 j% 5 ~6 ) ¤ 5 |a a U ) j5 j5 k zp k) j5 ) j5 k ¨ Cv ) ¤ zp }¢ zp ¤ ¨ § ©! ~£ p g ) p 6 }5 j5 ~¤ ¤ |a }%

k) j5 j% ¤ zp # ~6

g

zp a zp k zp ) kg U ) }% z j5 k) j5 k ¢ j% ¤ ) ¤ zp kg z 6 }5 k 6 v a z j5 # zp c ~6 ka ¤ g v ' zp p 6 {6 {6

p

s

Page 16: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 16/23

$¤ '3 $H r# "e $¤ C( C( ¤ $# "X C( 02 $¤ 13 '3 5P "% ( 02 &F "¤ Q

2 ¡

"e T# '3 ( Y 02 '3 $¤ c 4¤ 0¤ T¤ 0P "% $¤ 'W 02 T# ( E# '3 52 02 9 'W D "% T¤ T¤ ( C( $! &D "% &( 'B c 4¤ &( &D "

¢6 ¦¦ £ ¢ § ¦¤ ¢ §¡ ¢¦ £¦ % £¦ ¥ % £§ ¢A GP 4¤ &( ( @B 02 $# "% &( ' 4# "B ¤ $ "% ( 9 ' 4¤ 0¨ ¢ §¡ ¢¦ £¦ % £¦ ¥© ¢# 6h 9 02 '¤ H ¤ $A 9 ( 9D r¤ 02 ') "F w3 $! &( H T#

9 $! &( ( 'B ¤ $ T¤ ¤ $! &( 'H 02 4¤ F "% 52 3 6! 4 0 4¤ ¤ W 4¤ 0P "% @B &( ( 0h "% 4 C( C( 'B 9 '3 ( ( 02 C( T# '3 $¤ 4¤ $! &( 0P S Q

e 02 52 E# ( &H r# " 4¤ 02 @B '3 C( &( D "% &( ' GP 02 $ ¤ $# "A 4¤ 52 52 "% T¤ T# $¤ 4¤ 02 9 0W "% 5c C( ¤ ') 52 02 E¤ ( ' ¢ ¦¦ 6 £ ¦¦ ¥ ¥

¦§ ¢ ¦¦ § % ! S¨ 9D r¤ e $¤ '3 $B C( 02 C( &( '3 $¤ 'X C( ¤ T# © £# 9 08 GP ( 13 '3 5P "% ( 0h "% $# "% 52 02 &( 02 9D r¤ F S $¤ 52 52 'X C( T# "% Y 02 'X ¤ 9 52 02 4¤ '` 9D r¤

D "% T¤ T¤ ( C( $! &( 02 $¤ 'B 02 C( '3 @B &( ( 02 9F "% @B $! &( c &( ¤ &( &( 'H 02 5# T¤ 0P "% $¤ '` 02 T# ( E# '3 52 02 9 '# Qa c 4¤ ¤ £# $¤ 02 ( X 5¦ x 02 $! &( ( 'X T¤ 0P "% $¤ '

02 T# ( E# '3 52 02 9 ' ` 4¤ ¤ $¤ ! ¤ X $¤ 9 C( CD "% ( 02 ' 9 '3 $¤ C( 02 4¤ D "% ( H ¤ $# "H C( ¤ T# © £# 9 02 H ( 02 @ "% $¤ $¤ 0P "% $# "X 9 '3 @B T¤ 52 &D "H "

9 ¤ ( w3 "% &( ¤ D "X $¤ 1! "% &( 02 w3 "W 9 '3 C( &D "% $! &( 3 6¤ @ "e 9 '3 C¡ # u¦ "% 9 $¤ 4¤ 'H $¤ '3 $H C( 0h r# "X T¤ 0( B ¤ $B @B '! 4¤ 52 52 'e $¤ 52 52 '` C( T# "% Y 02 '

¤ 9 52 02 4¤ '# Q

D wD vt s7 i F st vR q© © F s T u © F u h2 © hF p$ wD p s w e hF F e vR qF i st hF F u r¤ w A ue vt p$ wT ! s 3 e F u p$ hD ¨ h F ue v

h y q© ¦ ! hF r© ue vt vt h8 r© ue vU F sR wT F h! sR © u © hT vt st e h F ue vU F sR wT F h! u qF e vt st r© ue h¤ ¤ u st r¤ qF i i uy r¤ q© F © qF u vR w

e hF F i st i p u F w r© ue vt vR w kT ue hF ! ue p$ sR w7 sR © u © hT vt st wX F sR wT © w w7 © qF ue vt vR w r© ue vt vR w kT ue hF ! ue p$ sR w u qF e vt st r© u w

F sR wT © w© @3 kT vt s i e hF © S 9 F ue v h sX e F u! vt u! i$ q© © u S ¤ e s r© ue vt vt h i$ © wD e st h¦ u qF e vt st r© ue h e F u! i s © hT i

i hF F h8 © hT st ue p p$ wT u i$ qF v¨ F sR wT F h! u qF e vt st r© ue h¦ sR ! hF r© h! e F u vt uX © hT st ue e st hF F s¨ r© ue vt vt uy kT ue hF r© ue p st e F u

r© st T u T p sR F h2 ue p p st vt sR F ue u i hF F hI ue i$ wD p p$ wT ! u T p u! © qF ue vt vt uI w q© D wD p$ q© w e hT i p$ wT T p uT ¦ I u T p$ u

© u q© D wD p$ q© w¦ © hT i st p st D w q© © w¦ © wT p uy r© ue vt vR w i$ q© © u S ¤ e st u uX © hT st ue p p$ wD p$ w! i$ q p$ qF p p h8 st v3 F s

wT F h2 wD rI ue i u 8 F st h¤ q© © w i u ! st i u wI u! © hT st ue p p$ wD p$ w© ¨ ! ue r© sR wT T p u¦ © hT st ue e st hF F u8 e u T p$ wD vt uT

i$ q¦ p$ qF p p h8 st v F sR wT F h¦ p$ wT F kT u T p u e © © u 7 q© D wD p$ q© w8 F ue kF wD p st D w8 i s¨ © w! v hF © © hT i p h¤ j3 p$ qF p p$ wX vR w

i$ q© © u S ¤ e st u¦ u © hT st ue p p$ wD p$ wy i$ q¦ q© © wX © wT p u vt sR ! st p$ wD p$ wX r© ue v¨ F sR wT F h¤ F r¤ q© F © qF uX wD vt v sR T p u F h8 r© s

q© I e u e F st h wD r ue i u 8 F st h¤ vR w F i u qF r© hT i u w¦ i$ qo q© hF hF e st e vt hF e 8 ue v h F A ue vt p$ wT ! s

wT T 9 e F u! ue i p u F r© u u¦ vR w r© st i p$ wT F w sR F r© hT p p$ w¦ r¤ wD vt vR wI F i u qF r© hT i u wo B i$ qF v3 i ue p p hF u! hF hF e s

e vt st e hF wX p$ qF p p hX st v¨ e u e F st h8 vt h¦ u F r© ue D w8 q© ! hF r© ue vt vt h¦ r© ue vt v sR T p u h F sR wT F h8 sR © u © hT vt st e h¤ ¤ u

F hF I F s q i hT vt p$ wT T p h¦ r© s3 q© © w¦ © wT p uX r© s3 ue i i h¤ hT st e U uX vt u8 © hT st ue e st hF F s3 r© ue vt vt u8 kT ue hF r© ue p st e F u

u wT F h8 ue p p st vt sR F ue uT U vt uX ue p p u r© ue v ! hF r© ue vt vt h¦ u wT F h! i u 8 F vt st e u ! u T p u! e hF r© u r© ue v¨ e u e F st h¤

I¦ 5c @B '! 4¤ 52 52 ' 02 $! &( ( T¤ ( &D "A 0 "$ ¥¨ X 02 T# ( E# '3 52 02 9 0c 9 '3 @B B T¤ ¤ $! &( 0c 02 $! &( ( $¤ 0e "% 4 ¤ $d 9 ( 9D r¤ 02 ') !

9 52 02 4¤ ' GP 4¤ &( &( 'B "% C( C( '3 52 ¤ &( '! S6 ! 0h T¤ ¤ $! &( 0h 4¤ 52 5P "W 9 02 ( 9 '3 $! u¡ ( $¤ YF "H C( 0h 9D r¤ 0P "% @ "% $¤ ' 02 4¤ F "% 52 0¦ x2 6F W 9 '3 ( ( 02 C( T# '3 $!

4¤ '3 $¤ ' " T¤ ¤ $! &( 0W "% 52 5¦ x 02 $ £# $¤ 02 &( ' ¨ 0e T¤ ¤ $! &( 08 u¡ ¤ '3 ( 0c 4¤ 5e 9 ( 9D r¤ 02 ' C( 0c 9D r¤ 0P "% @ "% $¤ ' ¤ 52 &( D "% 02 4¤ F "% 52 0¦ x2 Q

5¦ x 02 $! &( ( T¤ ( &D "% Y 02 '3 $¤ e 4¤ 52 52 § ¦¦ $ ¦e 02 T# ( E# '3 52 02 9D r¤ 3 63 C( 0h ¤ CD "% $¤ '` 02 $! &( ( C( Y 02 '3 $¤ 0h 4¤ 0# ( &( &( W ¤ 9 52 02 4¤ W 9 '3 $H 02 5

9 ( 9D r¤ 02 ' "% C( C( '3 52 ¤ &( '# Q

I¦ 5W T¤ ( '3 E¤ 52 @ ") ) ! ¤ 52 52 ') 4¤ 0W 4¤ ¤ £# $¤ 02 ( ) 5P "A $¤ '3 Y 02 '3 $¤ A 4¤ 0¤¢

¦ d 02 T# ( E# '3 52 02 9F " ) ! ¤ C( &( '

4¤ '% w! ¤ &( 'A "% 5a ( 02 C( ¤ 52 &D "% &( ' 13 0¦ "B 9 02 &D "% &( ' 4¤ 0 e 02 52 E# ( &F 6¨ 9D r¤ H $¤ '3 $) T# ( @B &( &( B @B '! 4¤ 52 52 0 02 C( '3 @B &( ( 02 9 0a 4¤ 5

T¤ 0P "% $¤ 'B 02 T# ( E# '3 52 02 9 'B $¤ 52 52 'B C( T# "% Y 02 ') GP 3 6 "B @ "% 13 13 02 '3 8 D "% 13 02 '3 $¤ 3 6# $¤ 5a T¤ 0P "% $¤ '! Sc ¤ 9 52 02 4¤ '# Q! 8 52 &( D "% @B 0

¤ CD "` 02 5h T¤ ( '! 9 4¤ 02 @B $! &( '` 4¤ C( 9 ( 02 &( &( 'B T# e '3 &( &( $¤ ( ` 5¦ x C( T¤ ( C( C( 02 '3 $¤ X 4¤ 52 5P "X 4¤ 02 C( &D "% $¤ YF "¤ Q

f © wI F qF hD D wI r© u$ U F st e st hF F uI r© ue v ! hF r© ue vt vt h2 r© sc A ue vt p$ wT ! s S q2 r¤ wD p$ w r¤ w ¤ ue vt s© " vt ue sR

e z2 a j% ¤ # p a ¤ ka zp ¤ y 5 k ~6 ) }5 k 6 }% }5 j5 ka zp k ~¤ ¤ |) # a zp c ~£ p # zp ka z2 }% y k) }5 }5 ka zp k ~6 ka z j% ¤ a 5 ¤ g )

z z j5 k

p

# zp ¤ }5 6 ~6 ka zp kc ~6 ) }5 kg zp k

h

Page 17: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 17/23

p i © r © sT e e F uo i sy wD e e hF i u2 F ue v e F uo u w © hT i i sR F st vt u ue F st p$ wT uI v wT © © wT wD p h

r© ue vt vR w8 kT ue hF ! ue p$ sR wX r© s ¨ u u F e sR wD vt uT U ue r ue i$ © sR ! u uy vR w! r© st i p$ wT F w! sR p u ! sR F s¨ r© sU e hF F e ue p p s

r© s kT ue hF ! ue p$ sR w8 © hT st ue p p st D w© j7 hT kT kT sU i s © wT vR w8 r¤ q© F © qF u! r© sg 02 ( t & % e (F t 7 c & e 35 46 w 02 7 ¡ C e & 7% 8

g3 hT i i u D wD e st hF F uo © sR F e sR © wD vt uo r© s$ vt ue sR S q2 r© sy F hT p$ wT u e F u vt u st i hF ! ue p$ st u r© ue vy F sR wT F h

sR © u © hT vt st e h 8 wT F r¤ wT F h2 ue p p u¦ sR © u © hT vt st e F uI sR ue p p u¦ sR © u © hT vt st e F uT u r¤ q© F © qF u e hF r© u

r© ue v e u e F st ho sR e hF r© u¦ r© ue v e u e F st h¤ @3 i i u r© ue T hF F ho wD vt vt hF wI ue i i u u p$ wD i hF 8 wD e st hF F s

© hT st ue p p st T uI r© ue v e u e F st h¤ 7 uI kT sS w

B

p$ F q© w F vt u r © sT X w T ue D w2 F hT p$ wD p ho F ue v

s ©X e F u¦ uy © hT i i sR F st vt u8 r© u$ U F sR uX vR w8 r© st i p$ wT F w! sR p u ! sR F s © q© wT ! u T p uX © hT st ue p p st F s

d

a x 02 4¤ F " 4¤ 0e c "¦ 1! 52 1 9D r¤ 52 B T¤ ( '3 T¤ ( 02 &F "A @B &( ( 02 9D r¤ B 4¤ 08 ¤ $# " £# 13 ¤ D " C( 0c '3 &( &( $¤ 13 '3 $¤ 'A 9 '3 $!

C( 02 4¤ D "% $¤ 4¤ 'B 5P "` C( # "H ( 5P "% Y 02 '3 $¤ W 9 '3 $ 5¦ x "% C( C( '3 52 ¤ &( '` T¤ ( '3 02 &( &( 02 w3 '# Qc "` 4¤ 02 C( &D "% $¤ YF "` u¡ D "` 4¤ ¤ X T¤ ¤ $! &( 0£ ¢

¤ $¤ 5a @B '! 4¤ 52 52 '` 4¤ 0 8 52 &( D "% @B 0 ¦ ¥W 52 02 $ C( 0¨ '3 &( &( 02 $¤ ` 4¤ ¤ $¤ ! ¤ H 9 '3 $¤ C( 02 4¤ D "% $¤ 4¤ ' 0¨ T¤ ¤ $! &( 0¨ 02 4¤ F "% 52 0§ ¢© ¨

¤ ¨X 4¤ 52 5P "` ( &( &D "B 02 T# ( E# '3 52 02 9F "H T# "% C( CD "% $! &( ` T# © ¢ ¤H 6# ` 02 $¤ 4¤ ¤ 9 $¤ 4¤ 'B C( ¤ 52 5P "H ( &( &D " ¢© ¨ ¤ ¨` ¤ $# "

E¤ 02 Y 02 '3 $¤ H 9F "% $¤ '3 $¤ 02 9F " 9 '3 $) 08 ( F "% 52 0¦ QB ¨ 0( ) T¤ ( 9 02 CD "% @B $! &( 3 6 T¤ ( $¤ 4¤ $¤ 4¤ ' GP ¤ $) @B Y Y ' 4¤ 58 w3 "% 52 '3 (

"% C( C( '3 52 ¤ &( 'H 4¤ 5 52 '3 1! "% ( 02 &( @B '

2 ¦

4¤ F S8 02 5E §¢ " " ¢ § £ ¢! % £¦ §¡ ¢¦ £¦ % £ ¢

¢© ¤ ¨ ¤© ¢© ¨

¢ ¢© ¨ ¤ ¤ ¨

%

4¤ '% w3 © ! W 5P "X 4¤ 02 C( &D "% $¤ YF "` ¤ 9 52 02 4¤ F "X u¡ D "" 4# B Q

¥¨ §¢ ¤

¡

¢ ¥ §¦W C( 0h '3 &( &( 02 $¤ e 02 $H @B '! 4¤ 'X "% $# "% 52 '3 13 '# 6% 9 '3 $¤ C( 02 4¤ D "% $¤ 4¤ 'H 02 5# D "% T¤ T# '3 ( &( '` 02 $¤ 9 ( '%

9 0P "% &( '` u¡ D "X 52 W ( &( &( X 9D r¤ X 4¤ ¤ £# $¤ 02 C( 9 '3 $¤ 'H 5¦ x "% $¤ 13 '3 52 'X W 52 W ( &( &( X 02 4¤ F "% 52 0 "% 4 C( C( X 9 '3 $¤ 02 ¤ 1! "% &( 3 Q

l3 S wD p p hF sU ue i i u F e sR wD vt s r© s3 q© ! hF r© ue vt vt h sR © u © hT vt st e hI i hF F h¦ hD F F sR wT ! u T p uy vt u8 ue p p uT ¤ vt u

r© st i p$ wT F e uI u vt uo ! st i$ q© uI wT F kT hT vR wT s 1 f ! hF r© ue vt vt h2 r© ue vt vR w2 kT ue hF ! ue p$ sR wI sR © u © hT vt st w F ue v

F sR wT F h u qF e vt st r© ue hI r© ue T u8 st r© u$ U F sR u wD vR ! u F h q© F h r© s3 p$ wD vt s S wD p p hF s ¤ u8 F ue e ue i i$ wT sR wT ! u T p u

vR w¦ r© st i p$ wT F w2 w8 wT qF i$ w8 r© ue v st i$ qF vt p$ wD p h r© s © st vR © u p$ e ! l v ! hF r© ue vt vt h r© s# A ue vt p$ wT ! s ¨ vt ue sR

vR wD i e sR w sR T D wT sR wD p u¦ i hT vt p$ wT T p h vt u ue p p uT F A ue vt p$ wT ! s hT p p u © F u¦ wT F e F u q© 2 ! hF r© ue vt vt h¥ ¨) ( 8

§v ( 4) 02 &F ¤ e F uy vR wD i e sR w! e st h¤ uy sR T D wT sR wD p s¨ kT vt s wT F kT hT vt s # @3 i i h8 i sU hT p p st u F uX © hT st ue p p$ wT F r© h¦ © sR 8 w

st vU ! hF r© ue vt vt h! r© s A ue vt p$ wT ! s ¨ vt ue sR i$ qF vt v u ! st i u h8 ! u st r© st hF © wD vt u r© sU q© © wy i u w8 B p$ wT F kT u T p u

F ue vt v hF st kT sR F u wD v3 F sR wT F h u qF e vt st r© ue hI sR I qF s3 st v ! hF r© ue vt vt hI r© s# A ue vt p$ wT ! s ¨ vt ue sR 2 i p$ w© ¤ u! e hF

vt h i p ue i i h wD kT kT st h r© ue v3 e u e F st hI wD i i hT vR qF p hF e U u¦ © hT s © hT st ue p p$ wT F r© h i p u ue hT kF w ¤ wT ! u T p u

r¤ wD v7 © hT vt hI F hF ro p$ wD vt u8 u ! st i u h i$ qF v7 F sR wT F h u qF e vt st r© ue h¤ e d

D wD vt u¦ ! hF r© ue vt vt hI S qI i p$ qF r© sR wD p h

F ue v X r¤ w © u © s hT sR F wT F nu¦ sp ip r © T e D uX D w! hT kT kT sU i hT p p h! st v3 F hF ! uy r© sg 02 ( t & % e (

p 6 }5 j5 2 k) }5 }5 ¤ ¤ |a ) {¤ ka zp e z j5 kC p a ¤ j5 ¤ zp {6 C zp 6 ~6 6 }5 }5 a 5 k C |) 6 ¤ ¤ c 2 ) 6 k 6 j% 5 2 ¤ p ~¤ 6

~6 k c zp 2 }5 k) j5 j5 k) ) 6 k 6 j% 5 2 ¤ ) 6 k 6 j% 5 C ¤ ka 6 j5 j% |a F ' kC }5 |) kF v j5 a H z j% H v |) }5 j5

ka ¤ ja lk2 a $ © !¢ F# !# %& %& ! " & % Q !H GH F" a z zv zp ~¤ ) j5 kF 'H ¤ z zp ¤ ¥ c 2 }% p C ¤ 6 a {6 {6 ) {¤ ka zp

k) }5 j% ) lk# ~6 k H ) 6 k 6 j% 5 ¢ ¤ p ~¤ 6 (g zp ¤ 5 ka ~6 6 c ¤ j5 j% ~6 c }5 ka zp k# j% p j5 j5 H }5 k) j5 j5 k) ) 6 k 6 j% 5

¤ ) 6 k 6 j% 5 g ¤ ka 6 j5 j% |a

¨

e ' k) ) a 5 j kg z j5 ¤ ¤ |) ¤ zp g ¤ H k) j5 j5 ¤ zp ¤ ¤ H U ) v j% |) e ja l ¤ c v }5 j5 a zp {6

e z p a ¤ j% ~6 ka a ¤ v p kv ¤ }5 ka zp k# }5 k ka £ &'

Page 18: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 18/23

t 7 g ( 7% 8 ) w 4¡ &F

Ic T¤ ¤ $! &( 0 C( '3 $¤ 'B 4¤ ¤ £# $¤ 02 &( 0¨ 9 '3 @B W $¤ 5¨ @B '! 4¤ 52 52 'X 4¤ 0 8 52 &( D "% @B 0 ¦ ¥W 52 02 $ 6! @ "X 52 X ( &( &( ` C( '3 $¤ 'B '3 D "

C( 13 @B $! &( 0¨ 4¤ 0 9 ( 9D r¤ 08 ¤ 9 52 02 4¤ 0¨ 9D r¤ ` 02 $! &( ( C( 9F "% $¤ ' T# ( T# $¤ 4¤ 02 9 '3 5P "% ( @B $! &( ` 02 5 9 ( 9D r¤ 02 ' "% C( C( '3 52 ¤ &( '# Q

"B 4¤ 02 C( &D "% $¤ YF " H 4¤ ¤ £# $¤ 02 &D "B 02 $A @B '! 4¤ 'B "% $# "% 52 '3 13 ' "B ! ¤ 52 5P "H 4¤ 5a @B '! 4¤ 52 52 'H 4¤ 0 8 52 &( D "% @B 0 ¦ ¥W 52 02 $ 6h "

@B $¤ '` 4¤ 5h u¦ "% &( &( '3 ( 2

7

Qa "` @B 02 C( ¤ D "X "% $¤ 13 '3 5P "% ( X X ! ¤ 52 5P "X ¤ 9 52 02 4¤ F "¤ Q

ue vt vR w¦ r© sR ue e st hF F u¦ hF © © hT i p$ w©¦2 wD p e F u !

© rT 7 w T ue D w8 r© sR ! hT i p$ wD p h8 kT sS w¦ F ue v

h¦ e F u8 v U ( 46 (p u §v & 46 w q© © w¦ i u w r© ue vt vt hI i$ © wD e st hI sR © u © hT vt st e h2 w T u T p u8 © u X e u T p$ h q©

© q© T p h st r© u wD vt u 8 u! q© I ! hF r© ue vt vt h B sR © qF ue i p h wD i h¤ ¤ st i hF ! ue p$ st e hF r© ue v F sR wT F h u qF e vt st r© ue h¤

e hT i 9U hF F u F r© h q© © w8 r© sR ! hT i p$ wD e st hF F u! r© s¨ e hF F i st i p u F w ue vR wD p st D w8 r© ue vt vR w kT ue hF ! ue p$ sR w! u qT

e vt st r© u w F sR wT © w¦ F ue vt vR w8 kT ue hF ! ue p$ sR w! sR © u © hT vt st w i hT vt st r¤ w©

lS © wT p st e hT vR wT uT © © qF ue i p s st i$ qF vt p$ wD p s ! hT i p$ wT F h! e F u! F hF I uX © hT i i sR F st vt u! i e ue kT vt st u uX S w

kT ue hF ! ue p$ sR w8 u qF e vt st r© u w ue rI sR © u © hT vt st w i$ qF vt vR w © wD i u! r© ue vt vR w¦ i hT vR w8 e hF F i st i p u F w¦ vt hT kT st w© j7 i u

q© © w uy e hF F i st i p u T p uT ¤ wT F e F uX v wD vt p$ w! vt h uT

¢ ¡¤ £ £ !# p © ( ££ ¢# ¦¤ ¤ ¦5 ¨ §

g wX i hT vR qF e st hF F uy r© ue sU © hF F vt u ! sU r© sU e hT i p$ qF sR F st vt st pD w! e hF ¦ st kF wy u e hF 8 © wD i i hX r© ue i st p p sU F ue vt vR w

F ue e st hF F u q© i8 st i u ¨ h q© © w! i hF © ue i$ w© j3 ue i i$ w8 © hD ¨ h8 e F uy p$ wD vt s © hF F vt u ! s u wT F h8 sR F i hT vR qT

F st vt s3 e hF ¦ kT vt s i p$ q© ! u T p sU r¤ wD p s

d

I hF i s¨ p$ wD p pD hX © qF sR F r© s3 r© s¨ ue i sR F sR u8 q© © w¦ © wT p st e hT vR wT u

e hT i p$ qF e st hF F uT T e hF ! u i$ wT u © © u i p$ wD p h st v¤ wD i hX F ue vt v ue T u T p$ q© wD vt st pD wX r© sU q© © w i hT vR qF e st hF F uy © hT i

st p st D w© U 8 w! r© s j

wT wD p p u st e wT u sR ¦ © q© wD vt e F uX ! hF r© h8 s¨ © q© T p sU hT p p u F sR F st vt s3 ! ue r© sR wT T p uX st kF wX uy e hF X

© wD i i h¦ w! © wT p sR uX r¤ w8 © q© T p s¨ r¤ wD p s

© hD D wT u! e F u8 s7 © q© T p s3 e F u8 hF F st i e hF F h vt u¦ i hT vR qF e st hF F s wD s © hF F vt u ! s e st p$ wD p s F hF

wT © © wT p u F kT hF F h8 wD vt vR w8 e vR wD i i uX e hT i 9 r© ue p u ! sR © wD p$ w©

g w © sR 8 wI © wT p u¦ qF iD h sR ! hF r© h ue i i u F e sR wD vt u s7 ! ue p hF r© s7 wD vt kT u © st e s ue i s7 © hT i i sR F st vt s

r¤ wD vt v wT st p$ ! ue p st e wD e st hF F uT c F sU p$ hD ¨ hX e F uT F r¤ wD p h8 q© ¦ wT 8 © h¥ ¤ © q© ¦ ue vt u ! u T p h u e hT i p$ qT

sR F st vt u8 e hF st kF w! uX q© i sR F kT hT vt h qF i h8 r© ue v¨ e hF 8 © wD i i h8 i uy uy i hT vt h8 i uX ue i i h8 i p$ w! F ue v¨ wT 8 © h

¦

G § I © Py j G ) I ¤

r© hD T uC P! uy q© ue vt u ! u T p h! ¤ i i$ wD p h8 r© s! ¤

¥ "v j5 ka 5 ~6 ¤ z j5 ¢ 5 g v k) }5 j% ¤ ) {¤ ka zp g v zp }5 ka e ja lc ~6 ka z 6 {6 {¤ ' ) j% e c ) p ¤ c v ¨ ) ka k

"

(g z y §# #$ #) y zp ¤ © ©# ¤ } ¤ ! # # ©v y zp ¤ # }% U k) }5 }% e ja l v p 5 }5 ka

|) ¤ ¤ ¢ 6 ) p ) {¤ ka z a ) ¤ 5 ~£ p g v ) z j5 k a ¤ ) k 6 v a z j5 # ¤ ) v ~6 a U

Page 19: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 19/23

"c D "% 4¤ 02 9 c ! # "% 4¤ D "% &D "W "% T¤ T# "% ( 8 T# ( 9D rh e 5P "8 u¡ ¤ $¤ Y 02 '3 $¤ 8 4¤ 5¤ 9 '3 @B T# "% C( C( 'X c ! ¤ 52 5P "c 4¤ 0¤ 9 ( F "% ( c ¤ $

9 ( 9D r¤ 02 '# 6h 9D r¤ X T¤ 'B 02 $! &( ( C( 9F "% ( H ¤ $# "H ( &( &D "B 'B ¤ $A "% 52 &( ( 'H 9 ( 9D r¤ 02 '# Q¡ e $ C( 02 C( &( @ "H 4¤ 0 ! # "% Y 02 '3 $¤ 0

4¤ C( 9 ( 02 w3 $! &( 08 ¤ $A 9 ( 9D r¤ 02 ' 4) ¤ $# "B ( &( &D ") GP 9 02 '¤ ` ¤ $ x ! # "% Y 02 '3 $¤ ` ! # "% 4¤ D "% &( 02 9F "B 4A ¤ $# "B 52 02 $¤ F "% ( F S

T# '3 ( &D "W "% 52 5P "8 C( '3 52 ¤ Y 02 '3 $¤ 8 4¤ 0! ¤ $ x ! # "% Y 02 '3 $¤ 8 4¤ 0¤ C( 9 '3 $¤ 4¤ 'W 13 D "% 4¤ '# 6% 8 9 '3 C¡ ¤ ¤ $` C( 02 C( &( @ "c 4¤ 0! ! # "% Y 02 '3 $¤ 0

4¤ C( 9 ( 02 w3 $! &( 0# 4¤ ¤ c 9 ( 9D r¤ 0¨ GP C( '3 &( &( D "% $¤ 4¤ 'W 52 8 4¤ ¤ c ! # "% Y 02 '3 $¤ 0¦ 6F C( 0¤ '3 &( &( 02 $¤ c ¤ $ x ! # "% Y 02 '3 $¤ 8 4¤ 0! T¤ ( 02 @B '

13 D "% 4¤ '# 6! W 9 0 C( 0 ( 02 4¤ ¤ 9 ` "% 5h 9F "% C( 'H T¤ ( 9 4¤ $! &( F S Q

hF ! uI e hF F i ue kF qF u F w© y i uo st vX wT 8 © h r© s! © wT p u F w uo wD r ue i u 8 F st h © qF ue vt vt h r© ue s

F q© ! u s wD e st hF © wD vt s! B kT u F u wD p hI r¤ wI q© 2 i ue kF ! u T p hF e 3 s F q© ! u s7 e hT i p$ qF sR F st vt s e hF st kF w

u! e hF 8 © wD i i hI B e st h¤ u! ! ue r© sR wT T p uX st p u wD e st hF F u8 r© s3 q© i sR F kT hT vt h qF i h¦ r© ue v3 e hF 8 © wD i i hF 7 i hF F h

p$ qF p p s¨ wD vt kT u © st e s © u e nu i hT vR qF e st hF F s U r© hF © h£ ¢I st p u wD e st hF F s ¤ r© s¨ ue © q© wD e st hF F s¨ r© s¨ kF wD r© h ¥ ¤

wX e hF u$ m¦ e st u T p s wD e st hF © wD vt sR e ¥X q© F © qF uy v sR 8 © hT i i sR F st vt st pD w¦ r© ue vt vR w8 © q© wD r¤ wD p$ q© wy r© ue v¨ e u e F st h

i s st r¤ qF e u8 w8 r© sR ! hT i p$ wT uy e F u§ ¦2 F hF I uX wD vt kT u © st e h¤ U uX e sS h8 S q © hD D wD p h8 r¤ w ¤ u r© sR © wT F r

gU sR F r© u 8 wT © s r © ©T 3 F ue v ©

u kT vt s wD vt p$ s r¤ qF u¦ © hF F vt u ! s

§ £

vR w¦ i hT vR qF e st hF F u F ue kF wD p st D w¦ u w¦ i p$ wD p$ w! p$ hD D wD p$ w© ¤ F s q

S wD e st vR ! u T p uT ¤ r¤ w8 3 st u u ¦2 wT T p e ue v ip r p i' T 3 F ue v ©

7 C( C( 08 C( 0a ( 02 4¤ ¤ 9 '3 $¤ 'A "% 52 52 ` C( '3 52 ¤ Y 02 '3 $¤ 0¨ 4¤ 08 ! # "% Y 02 '3 $¤ 0a 9 ¤ E¤ 02 9D r¤ B " 9 '! ¤ CB 9 02 $! &( 08 D "% Y 02 '3 $# "% 52 0¨ 9D r¤

$¤ '3 $H "% @B @B &( &( '3 $¤ 'c C( '3 52 ¤ Y 02 '3 $¤ 0! D "% Y 02 '3 $# "% 52 0¦ 6F c C( 0¤ T¤ ( '% w3 "X GP T# c "% C( C( ¤ ( 4¤ 'X C( ¤ 5¤ T¤ 0( ` T¤ 02 9 9 '3 52 'W bB &D "% 52 8 9D r¤

¤ $# "H C( '3 52 ¤ Y 02 '3 $¤ X C( 0P "H '3 &( &( $¤ 02 E¤ 02 52 W 9 '3 $) bA C( 02 $¤ 13 '3 52 0h ¤ C( 0¨ 4¤ 5¨ 9 '3 @B T# "% C( C( '! S8 9D r¤ ` &D "% 52 0 ! # "% Y 02 '3 $¤ 0¨ $¤ '3 $

T# '3 C( C( '3 $¤ 'A "F w3 ( H C( '3 52 ¤ Y 02 '3 $¤ 0a 9 '3 C( &( ( ¤ 02 E¤ 02 52 0a 9 '3 $) ( 02 1! "B H 9 '3 @B T# "% C( C( 'A G¡ " T# "% ( &( 02 ( H 4# "% 0a C( '3 52 0a $! ¤ @B ( 0

D "% Y 02 '3 $# "% 52 0P S Q

¢ ¡¤ £ ¢ © ¨ ¤ ¦¤ ¦¤ © !# "

g wo i e hF © u p$ wo r© ue vt vR w e hF F i st i p u F w2 r© ue vt v wD i i st hF 8 w2 sR © u © hT vt st e h © hF pD h wT F e st p$ qF p p h wD vt vR w

F ue e ue i i st pD w r© s wT © © wT F r© hF © wT u8 vR w st e F st ue i p$ w r© s qF i$ wT u¦ wD i i st hF ! s3 e F uI © u F e U u¦ F hF I r© s

! hT i p$ wD p sR U i sR wT F h! T u s R l v© F qF hD T h e hF F e ue p p h r© sy uv 7U uv 35 & 02 w §v ( 4) 02 w e & i s© © wD i$ w i$ qX F hT e st hF F s

© sR ! st p st T u8 B sR F r© u$ U F st p u u wD i i st hF ! sF i$ q! r© s© ue i i u! F hF X r© sR ! hT i p$ wD p sF u wT F st p$ wT sR e j¨ © qF ue i p s

qF vt p sR ! s ¨ e hF ! uX F hT pD h ¤T hT i u © T ¥y st ue 8 xy u kT hF © F u r s ©T F ue v © F r© u$ U F st i e hF F h

p$ wD vt s© F hT e st hF F s© sR 8 F vt st e st p$ wT ! u T p u8 wT F e F u i u F hF ! F ue e ue i i$ wT sR wT ! u T p u7 sR ! ! hF r© hy q© F st T hF e hF e

lS F hT vt p$ uT vR w © ue qF vt sR wT st pD w r© ue sX st i$ qF vt p$ wD p sy r© ue vt vR w kT ue hF ! ue p$ sR w2 sR © u © hT vt st w st i$ © ue p p h

wI © qF ue vt vt sy r© ue vt vR w2 kT ue hF ! ue p$ sR wI u qF e vt st r© u w © hF p$ wT hF F ho wD vt vR w F ue e ue i i st pD wo r© s ue i$ F vt st e st p$ wT uo vt u

wD i i$ q© F e st hF F s sR 8 F vt st e st p u sR@

qF e vt st r© uT 3 e F u¦ qF i$ w D w F sR qF p p hT i p h vt sR © u wT ! u T p u¦ e hF F e ue p p s3 u

wD i i st hF ! s¨ F hF 8 ue i$ F vt st e st p$ wT ! u T p uX u F q© F e sR wD p s ¤ u S wD e ue D wX i$ © ue i i h¦ s u sR ! u T p h8 wD vt vt uy ¤ kF q© uT

hF ! uX wD vU i hT vt st p h¤ ¤ st v gU sR © h l hF F st i e uX D wT s¨ ue i u 8 F s j

zp a k) ) ¤ z j5 # ¤ H ) p ¤ k ~¤ j5 ) j5 kg zp ¤ c zp k) j5 v

©

Page 20: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 20/23

hF © hT i st e st hF F s u © 7 u D wT st uI wD vt p$ u T hT vt p u sR i ue kF qF st p h B e hF T p sR F qF st pD w© j sR T p u S

i ue e st hF F uX r© s¨ r¤ qF uX e u e F s ¤ uy r© s q© e u e F st h¦ ue r q© © w¦ ue p p$ wT

hF © hT i st e st hF F uC i8 uC B e hF F kF qF u F w© j3 i hD © wT © © hT i st e st hF F u! ! ue r© sR wT T p u! ! hT p hF

hF © hT i st e st hF F u h ue p p u sR T U F st p u! h8 st vt vt sR ! st p$ wD p u

hF © hT i st e st hF F u2 ! uC B hF r© sR F uT j3 i u © wT wD e st hF F uX r© ue v F sR wT F hF e

D wD vt sU 8 wT F wT F e u S q© hF F hX F hT p$ wD p u st i$ © ue p p st D wT ! u T p u r¤ w© j3 xy hT p p S st ue r ¦ st vR F ue vR gU ue sR © F st

hp i' h r hT v E

B

p$ F q© F e F hF © u © © wT qF u r h © F ue v p i iy E ¢7 st u 8 wT © ! F ue v sp iy E

xX wT qF i iX F ue v ¦ u8 I hF st p 8 3 wD i e p i' r © qT F ue v © 8 u hD F F sR wT u¦ wD rI ue i i u

i s i hF F hI © hF © hT i p u8 D wT st u wD i i st hF 8 wD p st e wD e st hF F s F s q2 st kT hF hT i uT ¨ r© s7 qF s r¤ qF u¦ i hF F h hT kT kT s

e vR wD i i st e F uT

g w © sR 8 w© F st e sR © wI wD vt vt hI i$ F sR st p hI r© sg @ qF e vt st r© uT u8 i p$ wD p$ w¦ © hF © hT i p$ w r¤ w 3 wD i e I F ue v

o uo © u S ue e st hF © wD p$ w2 r¤ w©

st vR © u po F ue s( 8y t w 02 & 8y 35 7 t & % e w c &) ( 02 & 35 4) 7% w

¤

) d@3 i i$ w

r© st F st r© u! kT vt s wD i i st hF ! s¨ sR e sR F © qF u! kF q© © F s j

7 sR F e st r© u F wo B sR © wT p st e hT vR wT uT ¤ © u r¤ qF u! © q© T p s © wD i i$ w! q© © w8 ue r q© © w8 i hT vR w8 ue p p$ wT

© 7 hF r© sR F uI B sR I © wT p st e hT vR wT uT ¨ v wD i i st hF 8 w¦ r© s 3 wD i e U j q© © w ue p p$ w¦ © wD i i$ wT T p u! © u X q©

T u p st e u r© s¨ q© 8 p$ sR wT F kT hT vt h! uy © u 7 q© ¦ © q© T p h! sR T p u F h8 wD r¦ ue i i h¤ F sR T p u i ue wX st vU vR wD p h

hF © © hT i p ho wD v7 T u p st e u E7 ue © qF st D wD vt u T p u ! u T p uT kT vt s wD i i st hF ! s7 r© s7 i u © wT wD e st hF F uT j q©

© q© T p hX r© st F st r© uX q© © wX vt sR F u w! sR 8 r¤ qF uy © wT p s F ue r¦ q© © wX vt sR F u w! r© st F st r© uy st v¨ F sR wT F h! sR 8 r¤ qF u

© wT p sR

© 7 e hF F kF qF u F w¦ B sR ! © wT p st e hT vR wT uT T st v¤ st p u st hX r© s¤ qF kF q© wD kT vt sR wT F w¡ £ ¢¤ o © u 3 p$ sR wT F kT hT vt s

w T u T p sF r¤ qF u vR wD p s© u7 v wT F kT hT vt hX e hF 8 © ue i hX qF kF q© wD vt s5 EF ue © qF st D wD vt u T p u ! u T p uT F st v¤ st p u st h

r© s qF kF q© wD kT vt sR wT F w¥ £ £ 2 © u p$ sR wT F kT hT vt s w T u T p sU p$ uy vR wD p s qF kF q© wD vt s e

i¤ 7 e hF T p sR F qF st pD w B kT vt s wD i i st hF ! s¨ r© s

B

e F sR ! ue r© uX uX r© s ¥y ue r© u

%

sR F r¤

s© © wT wD vt vt ue vt st i$ ! h2 B v wD i i st hF 8 wX r© s 3 vR w T S wD sR e

f D wT T p$ wD kT kT st h2 r© s © qF ue i p$ w hF 8 wD vt st e wD e st hF F u u e F uT 7 e hF ! uI © w2 ! hT i p$ wD p h © st vR © u p

sR 2 q© U wT © © u F r© st e u wD v i$ qF h vt sR © h¤ 3 wT ! F sR wT F r© h v wD i i st hF 8 w r© ue vt vt u © wT wD vt vt ue vt u F ue vt vR wI i$ q© w

F ue kF wD e st hF F uT ¤ i s¨ hT p p st u F uX q© © wX hF 8 wD vt st e wD e st hF F u! r© ue vt vR w¦ kT ue hF ! ue p$ sR wX sR © u © hT vt st w©

lS © qF ue i p h2 wT © © hF e e st h2 vR wI r© st i p$ wT F wI S w r¤ qF uI © q© T p sX u§ t &£ ¦g 8y 7% 35 w¤ j v wD i i st hF 8 wI r© s

B

e F sR ! ue r© u © u ! ue p p uT 3 © u ! wT © © hT i i sR 8 wD e st hF F s i$ qF e e ue i i st T uT 3 r© s7 wD i i ue kF © wT u8 wD ro hT kF F s

6 j% ¤ U ka a {6 {6 ) {¤ ka z ¤ # ) 6 k 6 j% 5 ¢ ¤ p ~¤ 6 zp ¤ k# }5 j5 6 }5 }5 k¢ }% 5 j5 k H ~6 ka zc a j% ¤ zp k) {¤ ka z

5 j% |) ¤ ¤ a zp k# }5 j5 ) j5 ¤ ka k) }5 j5 ¢ @ p }5 ¤ ¨ 6 a zp kc # ¨ ©! #)

§ ¦

a 5 k ¨ ¤ 5 §! ¨ ©! v

@ p }5 ¤ © ¨y ¤ ¤ ka zp 6 }5 g # ¨ © ) ¤

£ § a ) }5 }% k y }5 ka zp kc ~¤ 5 p ~¤ a ¤ U ka ¤ {6 a ¤ ¢ U k k) ) ¤ zp ¤ ja l ¤ a zp k

q

Page 21: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 21/23

© q© T p hI i$ q2 r© s q© © wo ue p p$ w q© F q© ! u ho u wD vt u E7 v wD i i st hF 8 w r© s ¥y ue r© u

%

sR F r¨ 7 F st e ue T u i$ w©

© u ! ue p p u8 r© s wD i i hF e sR wT u8 wD ro hT kF F s3 F q© ! u h u wD vt u¦ q© o © q© T p h i$ qI r© s q© © w ue p p$ w8 r¤ wD p$ w

R ¤ i i$ wD p u3 v hF st kT sR F uT T v q© F st p¤ nw r© sF ! st i$ q© w ue rX st vF T u i hF e

B

© wD vt hT kF wT ! u T p u © u ¨ vR w ! st i$ q© w

wT F kT hT vR wT uT

g w¦ i ue e hF F r¤ w wD i i st hF 8 wD p st e wD e st hF F uT r© hD © qF p$ w¦ w A sR

%

hD ¨ qF i$ w¦ sR T T ue e u8 r© st i p$ wT F w¦ ue r

wT F kT hT vt s e hF ! uX e hF F e ue p p s © sR ! st p st F s F s © hT i p$ qF vR w8 v ue i st i p u F w¦ r© s q© i st i p u 8 w! r© s e hF hF S

r© sR © wD p u! i$ q hT kF F s ue p p$ w B sR F st st ue e st hF F u¦ e hF s u wD vt sR e ¤ © q© wT F r© h¦ i s¨ ¤ i i sR F h¦ v hF st kT sR F u! uX st v

T u i hy E

D u r© s¤ q© y i st i p u 8 w r© s© ! st i$ q© w © u 3 wT F kT hT vt sF e F u7 i sR wy wD r© r© st p st T hy u i$ q© st ue p p st T h¦ B i$ qX q©

sR T p u D wD vt vt h r© s u wD vt sR e © © q© wT F r© h¦ i s¤ ¤ i i sR F h q© © w¦ ue p p$ w© F q© U hF st kT sR F u! ue r q© i u ! sR F sR wT F h¤

lS © qF ue i p h¦ wD i h uy v hF r© sR F u! e F u! F st u F u! r© u$ U F st p h¤ j7 r¤ wD p s¨ r¤ qF u8 © q© T p s ¢ u¢ ¡8 ¤ £ i s

r© st e u S w ue i i s© i u7 vR wy i hF 8 8 w r© ue vt vt u r© st i p$ wT F e u¤ ¢¥ £5 u¥ £¦ ¡¢ u qF kF q© wD vt u wD vt vR wy r© st i p$ wT F w¡ ¢§ ¡8

F s © hT i i hF F ho © hT s r© u$ U F sR u s i ue kF ! u T p s F ue v ! hF r© h i hT vt st p h¤ 3 ue r wD vt q© F u © hF © st ue pD w r© s

e hF F kF qF u F w r© u st D wT F hI r¤ w © hF © st ue pD w e hF st i$ © hF F r© u T p s r© ue s7 F q© ! u s7 u wD vt sy B p$ wT ! st p u

e hF hF r© sR © wD p u e

xy vt s wD vt p$ sU kF q© © F s¨ r© s3 wD i i st hF ! sU i s st r¤ qF e hF F h wD sU i ue kF qF u T p s j

kT vt s wD i i st hF ! s¨ r© s¨ sR F e st r© u F w

v wD i i st hF 8 w! r© s 3 wD i e ¦ © u v hF r© sR F u

st v¤ st p u st h! r© sU qF kF q© wD kT vt sR wT F w £ ¢¤ 2 © u wT 8 wD vt kF wT 8 wT u s© D wT s¤ i st i p u ! s¤ r© sU ! st i$ q© w

r© s r© st i p$ wT F e u! u! r© s wT F kT hT vt s B ue © qF st D wD vt u T p u ! u T p uT j v ue i st i p u F w¦ r© s s ¤ ue i i st hF F s wD p

p hF F ho wD r hT kF F s ue p p$ w© 3 e st h¤ u F st st ue e st hF F sX e F uI © ue i u D wT F h2 ue p p uT r© st i p$ wT F e u ue r

wT F kT hT vt s D u7 i wT ! F sR wT F h S w vt hF hy sF i u ! sR F sR wT F s© r© ue p u ! sR © wD p s© r¤ wD vt vR wy ue p p$ w r¤ wD p$ w

b

e

¢ ¡¤ £ ¥ " ¨ y "y ¨ y ¦£

ue vy i$ qF h2 vt sR © h¤ © st vR © u pI F hF i hT vt p$ wT T p ho sR T p$ hF r¤ qF i i uo q© i st i p u 8 w2 r© sy wD i i st hF ! s e F u

© u ! st i u! r© s st q© © u wT u2 @ qF e vt st r© u¦ st kT hF hT i$ wT ! u T p uT © 8 w! e hF 8 T 9 q© i$ wD vt p h8 r© s¨ © q© wD vt st pD w© j

£ "v }% ¢ |) p ka C }5 ka j5 a z j5 k & z ¤ C z' a ) ¤ ¤ ) }5 j% ¤ ) j5 j5 v H }5 6 ¤ z j% ~6 k ¤ 6 }5 k2 z }% }5 j5

v # ~6 kv ka ¤ v zp ) j5 C v zp ) p 2 F ) 6 k 6 j% 5 a zp a j% ~6 }5 ¤ zp {6 ¤ ) lk ) }5 }5 6 a zp a ¤ 2 zv ¤ 5 ¢ ¤ 6 a g a

v }5 j5 a zp {6 a p ) }5 }% k v ~6 ka z j% zv ja lH zp ka zg }5 ¤ ¤ |) ka zp k# e zp U ka ¤ ka v ~6 ka z j% zv ja l¢ |) ¤ zp y U ka 5 z j5

a U ) }5 }% k v ¨ ) }5 ~£ ¤ ") p }5 ¢ z |) 6 ~6 H g }5 6 a p ¤ z j5 H U ka # ¤ 6 ka ¤ ¢ v ¨ a k ! ! ©# H %

¢ z j5 ¤ ¤ }5 6 {¤ ka z v ' ) j% y ka k) }5 j% y v ' zC 6 }5 ) ) ka zp k ~6 ka z |) ¤ ¤ j% ~¤ y }% C v p ¢ ¤ 6 j5 j5 H ¤ 5 ¤ zp v ~6 ka ) 5 }5 ka zp k

~6 ka zp 6 a 5 % a g j5 6 ka ¤ C l# ~6 ka zp }5 6 a p ¤ zp {6 C ¤ 5 a zp ¤ z j% ) }5 }% k }5 ¤ zp {6 ~6 ka z j% zv ja l # 5 }% j5

6 }5 }5 ¤ ¤ # 6 ) |a a ¤ z j5 g a ~6 k

g

p j5 ) j% |) ja l ¤ ka j% e ~6 ) {¤ e ka zp g zp ¤ U a ) ¤ ¤ v }5 6 ¤ z j% U

e z kv k a zp a k) ) k2 }% lkC j% ¤ ) j5 j5 a ¤ g }% ¤ C ¤ U a ¤ 6 ) }5 }5 6 a zp a zp ka C }5 6 ¤ z j% z |) 6 ~6 v

zv ¤ 5 ¤ 6 a U e zC ) p 6 }5 j5 k ~6 ) }5 kg 6 ka ¤ c v © ¨ a kc 5 }% j5 6 }5 }5 ¤ ¤ # 6 ) |a a ¤ z j5 c a ~6 ka zp a z

{¤ ka zp H ¤ ¨ ¤ ka k) }% {¤ ka z ¥ H ©¢ v p ~¤ g U v p H j% 5 a zp ) ka ~6 ka zg # }5 j5 6 }5 }5 H p ) }5 p a z zp k¢ # }5 j5 6 }5 }5

a ¤ 6 g }5 ¢ ¢ }5 ka kc }5 p a z zp kc g }5 j5 6 }5 }5 c a j5 6 {6 {6 v ¤

5 p 6 }5 j5 k a ¤ kv ~6 ~¤ k 5 5 }5 j% zp C j% ¤ ) j5 j5 ¤ z j5 k v p ~¤ ~£ p # ¤ ka | lk e zp ¤ ¨ ¤ ka k

}% {¤ ka zp v 6 v a z j5 ¢ }5 k 6 j% 5 )

Page 22: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 22/23

st vU i st i p u 8 wX r© s¨ wD i i st hF ! s¤ r© st T u © F uX q© ¦ hT kT kT ue p p hy r© sU i p$ qF r© st h8 wy i u i p$ wT T p uT T u v sR T p u ue i i uy i s

i$ © hT i pD h8 r¤ wD s¨ p ue hF u ! s¢ t & ¨ i st i p u 8 w¦ wD sU p ue hF u ! sH u¦ ¥' i st i p u 8 w©

hT i 93 S wD e u F r© h¤ © st vR © u p © hT i u i$ qF vt vR wo wT p$ w p$ qF p p$ w q© © wI i u st u r© s © hF F vt u ! s © u

i st i p u ! sy wD i i st hF 8 wD p st e s e F u i$ wT u © © u h r© st T u T p$ wD p s e vR wD i i st e sX F ue vt vR w ! ue p$ wT 8 wD p u 8 wD p st w

© hT i p u st hF uT j

7% 8y t 7 & 8y t & 8 xv w¤ F ue i u 8 F vt s ¤ wD p$ w8 r¤ wD vt vR w8 i p hF sR w! r© ue v © hT i p$ qF vR wD p h8 r© ue vt vt u8 © wT wD vt vt ue vt u

) ( 8 uv 7U uv 35 & 8 xv w8 B ue i st i p u q© 8 ! hF r© ue vt vt hF e F e hF st i$ © hF F r© u T p u wD v¤ © wD i i$ wD kT kT st hX r¤ wD vt vR wy e hF T

i st r© u wD e st hF F u8 r© ue vt v @3 i i u u$ S e hF ! u$ 6 @3 i i u u! r© s

B

st i p hT p ue vt u8 wD vt v @3 i i u u$ S e hF ! u$ hT i

i sR F st vt st pD w! r© s£ y wT T p T u F ue e ue i i$ wT sR wX sR ! i ue kF qF st p h! wD vt v wT © © wT F r© hF F hX r© ue vt vR w! st e F st ue i p$ wX r© s

T u st pD w© © r© ue kT vt s wD i i st hF ! s7 B e F uX hF F st D w¦ wT qF p hF 8 wD p st wT ! u T p u! q© I ! hF r© ue vt vt h © st F s

vt ue kT sR wD p h¤ © uy r¤ q© F © qF u! vR w! e hF F i st i p u F wT

) ( 0 e & 35 &v x) xv w8 B hT kF F s© ! hF r© ue vt vt hX i hF r© r© st i S w vt u7 i p ue i i u © hF © st ue pD wT e D © u 3 kT sR qF i p s ¤ wT u

wD kT st hF © wT ! u T p s7 i$ qF vt vt u ¤ kF q© u e hF ! u © qF ue vt vt s r© s @ qF e vt st r© uT jI e sS h2 e F u D wD vt u sR q©

! hF r© ue vt vt h¤ ¤ D wD vt uX sR p$ qF p p sU s ! hF r© ue vt vt s

) w 35 &¤ $' ( 4) 7© ¨ 7% 3© ¨w B T R u¦ q© o i hT vt ho ! hF r© ue vt vt ho r© s7 q© © w r¤ wD p$ w wT r© sR © wD vt st pD w© wI ! u F hI r© s

st i hF ! hF S ¤ i$ ! sR e 3 © u ! wD i i st q© wT u¦ e F u¦ kT vt s u T p sy F hF o r© u$ U F st p s7 ue i$ F vt st e st p$ wT ! u T p u

r© s¤ qF s¤ i sU © wT vR wX i sR wT F h! wD vR ! u F h! r© u$ U F st p sU sR 8 F vt st e st p$ wT ! u T p u wy ! u F h! r© s¤ st i hF ! hF S

¤ i$ ! hF e

gU u qF vt p sR ! u r¤ qF u © hF © st ue pD w¦ S q© hF F h sR T p$ hF r© hT p p uT 3 st i$ © ue p p st D wT ! u T p uT 3 r¤ w 3 u F vt u F ue v

© qp i¤ F uy r¤ w @3 r ¤ wT r © q© T p sR F kT p hF o p ip r © s T 3 F ue v © q ©

D wD vt sU © hF F vt u ! sU © wT © F h! kT u F u wD p hy st vU F st i hT kF F h! r© sU q© © wy kF wT ! © q© wT T p st pD wy r© sH 02 ( t & % e 7$ j

q© ! ! hF r© ue vt vt hX r© s© p$ qF p p sT kT vt s¤ wD i i st hF ! s© F u7 r© sR ! hT i p$ w vR w e hF F i st i p u F w8 ue vR wD p st D wT e T q© ! ! hF rF

ue vt vt hI r© s p$ qF p p s3 kT vt s7 wD i i st hF ! s7 ! u F hI q© F h r© sR ! hT i p$ w v sR F r© sR © u F r© u F wo r© s © qF ue i p qF vt p sR ! h

r¤ wD s3 sR 8 wT F u T p s ¨ q© st i hF ! hF S ¤ i$ ! h¦ p$ w8 r¤ qF u8 ! hF r© ue vt vt s3 © q© wD vR q© F © qF uI B r© ue vt vR w i p ue i i$ w8 wT S

r© sR © wD vt st pD wT ¦ r© sR ! hT i p$ wo vR w2 wD p ue kT hF st e st pD w© 7 u r¤ q© F © qF uo wT F e F uI vR wo e hF 8 F vt ue p ue e w' q© © w

p ue hF sR w2 © q¨ h © u h2 ue i i u uI e hF 8 F vt ue p$ w2 i u F wo ue i i u uI wD p ue kT hF st wT e lS © wT p st e hT vR wT uT

i s¨ i e hF © sR hF F h8 D wT st uX kT ue hF ! ue p$ st uT ¤ wD r ue i u 8 F st h¦ kT ue hF ! ue p$ st u ¦g 8y 7% 35 &F 8y ( 8 6 w 4§ ¨ H' 7% 02 &) t &) &F

8y ( 8 6 t &v uv w 4% $ ¥' &v uv 7% w 8y &F ¤ ue e e ue p u w©

£ § ¨ a 5 kF ) H ¤ C ~6 k) }% 6 j5 j5 C j5 6 ka 5 ¤ H 5 ka ¤ v zp U ~6 ka z ) p a z j% &p ~6 ) j5 ka 5 # }5 ka j5 a z j5 k }%

¤ ¤ z j% e ¤ ¨ ¤ y H j5 6 ka 5 H v ka ¤ v zp ¢ }% ¤ 5 ka ¤ g U ) g 6 }5 k ~6 ka zc ) p a z j% &p ~6 ) j5 ka 5 y }% g zp }% e j5 a

¤ ¤ ) {¤ ka zp g j% ¤ g ~6 ) j5 6 ) ka 5 ~¤ ja l ¢ ~6 k 6 j5 6 {6 {6 c zp ka z2 lH 5 lC |) ¤ ¤

© ¤ ¤ ¤ j p v k) }5 j% ¤ ) j5 k zp ¤ }% p kc ¤ kC ~£ p # 6 ka ¤ v ©H 6 }5 a ¤ a p 6 } U v p g j% 5 a zp ) ka H }5 ka zp k

z ¤ k) }% 6 j5 j% |a g z z j5 kc }5 # ¢ }5 ka kc }5 # }5 ka zp kg z ¤ k) }% 6 j5 j% |a g zp g zp 6 v # l¢ 6 ) |a a ¤ z j5 c a

U ) j5 j5 k# ~£ p g ) 6 k 6 j% 5 ¢ a zp g ~6 ka zp }% ¤ ¤ ) j5 c }% p k) }5 }5 # ~6 ka zp }% ¤ ¤ a ¤ # ~6 k p a ¤ j5 H v p zp # ) 6 k 6 j% 5

}% p ) {¤ a )

Page 23: Aspetti Logici Della Geometria Euclidea Piana

8/2/2019 Aspetti Logici Della Geometria Euclidea Piana

http://slidepdf.com/reader/full/aspetti-logici-della-geometria-euclidea-piana 23/23

u ! © q© wT T p h st kF q© wT r¤ wo vt u kT ue hF ! ue p$ st u u qF e vt st r© u w ue r sR © u © hT vt st w© s i st i p u ! sy wD i

i st hF 8 wD p st e s3 r© s © st vR © u pX i s3 st T ue vR wT hF F h2 © ue F sR w¦ sR T p$ hF r¤ qF e st hF F u8 r© s3 e hF hF r© sR © wD p uT U wT p u$

i sR wT F u8 F ue v3 © sR ! h¦ wD i h¦ uX r© s¢ A ue vt p$ wT ! s3 F ue v i ue e hF F r© hF ¨) w 35 &¤ $' ( 4) 7© ¨ 7$ ¦ u! r¤ q© F © qF u8 wT X

! ue p p u T p s3 ue i i u F e sR wD vR ! u T p u q© o i hT vt hI ! hF r© ue vt vt h¤ lS 2 © wT p st e hT vR wT uT v st i hF ! hF S ¤ i$ ! h r© ue s

! hF r© ue vt vt sX r© s A ue vt p$ wT ! s ¨ vt ue sR uI r© sy hT sR F wT F nuI st i$ qF vt pD h ue i i u uo F hF q© © wo hF p$ q© © wD p$ w

e hT sR F e st r© u F w© ¨ 8 w8 q© © w8 F ue e ue i i st pD w8 sR T p$ sR F i ue w8 r© ue vt vR w¦ kT ue hF ! ue p$ sR w! sR © u © hT vt st w©

u © q© wT T p h st kF q© wT r¤ w¦ vR w ) ( 8 uv 7U uv 35 & 8 xv w¤ ¤ vt u8 kT ue hF ! ue p$ st u! u qF e vt st r© u w ue ro sR © u © hT vt st w

i hF F h¤ e hF ! u¦ wT © F sR wT ! hI F st i p h¤ ¨ ue © qF st e hF F i st i p u T p s o l v7 ! hF r© ue vt vt h2 wT © wD vt st p st e ho r© s¥ ©

st vR © u p

r© ue vt vR w¦ kT ue hF ! ue p$ sR wX u qF e vt st r© u w st r¤ qF i i uX vR w! e hF F i st i p u F w8 r© ue vt vR w8 kT ue hF ! ue p$ sR w8 w! © qF ue vt vR w8 r© ue v

v wT © wD vt st i s 0 l v! © hF F vt u 8 w r© ue vt vR w e hF F i st i p u F w r© ue vt v wT © wD vt st i s! r© st T u © F u F hT p h e hF ! uI st v

uv &$ ¨) ( 8y t ( 46 ( ¢v e & 02 w t 7¡ 7% ¢a & 4) 3$ T ue ro u i p$ wD p h! q© F h! i p sR ! hT vt h¦ © u vt uX 8 wD kT kT st hF s¨ st e u e F u

vt hT kT st e F uX r© s¨ © qF ue i p h! i ue e hT vt h¤ j3 p u T p$ wD p st F s¨ st T hT vt p s¨ wD vt vR w8 i$ q© wX i hT vR qF e st hF F uT U wD vR ! u F h¦ © wT e sR wD vt u

wD r2 ue i u 8 F st h¤ 3 vR wI e hF F i st i p u F wI r© ue vt v wT st p$ ! ue p st wT 8 st i$ qF vt p$ wT hF F ho F ue v hT kF wT 8 8 w r© s

© st vR © u p U F ue s D¨ ue hF u ! sU r© s¨ x£ ¢hT r© ue v ¤ F ue vt vR wF D¨ ue hF sR wX r© ue vt vR w ¥y sR ! hT i p$ wD e st hF F u r© s xy u T p e u U

F ue vt v sR F r© sR ¤ u F r© uD F w r© ue vt v lS © hT p ue i s3 r© ue v hF T p sR F qF h¦ r© s hF F u U ¤ st v¥ ¤F S wD vt e hT vt h © hT vt sR ! hF S h

r© s xy sR wT r¨

l v vt sR © h r© s © st vR © u pX i s3 © q¨ h¦ r¤ q© F © qF u¦ w¦ © u r© sR st p p h e hF F i st r© u wT uT U hT vt p$ uX e F u8 q©

© q© T p h! r© s¨ wT st T h! r© sU q© F h8 i F st vR q© © © h wD i i st hF 8 wD p st e h! r© ue vt vR w! kT ue hF ! ue p$ sR w© © wT F e F u e hF ! uy q©

© q© T p h8 r© s © wT p u F w! r© ue vt vR w ! hF r© u © w8 ! ue p$ wT 8 wD p u 8 wD p st w©

¨

e H 5 k }% }5 j5 v ¢ ) }5 }% k # ~6 ) j5 6 ) ka 5 ~6 k2 ¤ 2 ) 6 k 6 j% 5 F ¤ p ~¤ 6 a zp e F ) j5 k

y ¤ ¤ z2 zp ¤ ¨ ©! e }% }5 j5 v ¤ ¤ j ~£ p # zp ¤ 5 6 v {¤ ka zp ¤ y ¤ k zp ka z2 ~6 ka z j5 ¤ zp 6 |a

U ) }5 }% k v ©H 6 ¢ Bv zp v |) ¤ z zp # ~6 ) j5 6 ) ka 5 ~6 k ka kg # z j% ¤ kv v p {¤ ka zp c v ) p 6 }5 j5 k

e z p a ¤ j% ~6 ka a ¤ ) j% v p kv ¤ ¤ g ) 6 k 6 j% 5 c ¤ p ~¤ 6 c H ¤ H ) p ¤ g ¤ 5 ka ~6 zp

¤ ka 5 6 ja lc ~£ p H |a a ) # z ¤ z j% ¤ kv ¤ lH v k) }5 j% ¤ a g }5 ¤ zp {6 # U ) }5 }% k g ¤ ¢ p a ¤ a ¤ 6

zp ¤ ka 5 6 ja l ~£ p c |a a ) zp ¤ kv ¤ kC ¤ p ~¤ 6 kC # U a }5 ~6 z ) p ¤ k ¤ 5 ka ~6 kF lg 6 ) |a a ¤ z j5

a U ) }5 }% k ¤ ¢ p a ¤ a ¤ )