“Die Axiome eines mathematischen Axiomsystems sollen einleuchtend sein.” Wie leuchten sie denn ein?