Een abstracte versie van 5. Stap voor stap een logische redenering opzetten is eigen aan de wiskunde.