Pascho aksioma

Pascho aksioma (Pãšo aksiomà), viena Hilberto aksiomų sistemos Euklido geometrijos aksiomų. Formuluojama naudojantis sąvokomis atkarpa ir priklausomybė atkarpai. Atkarpa suprantama kaip dviejų skirtingų taškų A ir B pora, priklausanti vienai tiesei, kurios taškai esantys tarp taškų A ir B vadinami atkarpos taškais. Sąvoka tarp apibūdinama grupe aksiomų, susijusių su tvarka, kurioms priklauso ir Pascho aksioma: jei tiesė a yra trikampio ABC plokštumoje, neina nei per vieną iš jo viršūnių ir kerta trikampio kraštinę AB, tai tiesė a būtinai kerta vieną iš atkarpų BC arba AC. Remiantis šia ir kitomis tvarką apibūdinančiomis Hilberto sistemos aksiomomis galima įrodyti, kad tiesė a negali kirsti abiejų kraštinių BC ir AC kartu. Aksiomą suformulavo 1882 M. Paschas.

1751