Konstruktiva bevis och konventionalism i matematiken [Filosofisk Kalender 1:69] juli 02, 1982 intuitionism konstruktion konstruktivism konvention matematik plausibilitet teorem +