Tertium non datur or On reasoning styles in early mathematics, nr. 1, 2002