Wójtowicz, K. Mathematical Proof – Argumentation or Derivation? – Part I. ZFN 2011, 63-80.