# Identity of Points

Jump to navigation
Jump to search

## Theorem

Two points share the same position if and only if they are the same points.

## Proof

Let $a$ be a point with position $P_1$.

Let $b$ be a point with position $P_2$.

By hypothesis, $P_1 = P_2$.

By Leibniz's Law, two objects are the same object if and only if they share every property in common.

By the definition of point, the *only* property possessed by a point is position.

We have:

- $P_1 = P_2 \dashv \vdash a = b$

Hence the result.

$\blacksquare$

## Also see

- Identity of Equidistance, an analogue of Identity of Points in the context of Tarski's Geometry.