Nicht einzelne Axiome leuchten mir ein, sondern ein System, worin sich Folgen & Prämissen gegenseitig
stützen.