Błaszczyk, P.; Mrówka, K. Between Obviousness and Deduction. Plato and Euclid on Equality. ZFN 2011, 127-147.