Matematiska bevis [Filosofisk Kalender 1:86] augusti 01, 1982 begrepp bevis essens kunskap Lakatos matematik praxis Steiner-Mark upphov Wittgenstein +