Aufgabe:
Zeigen Sie: [∀ n,m ∈ ℕ0 : n·m ∈ ℕ0]
Einen Beweis kann man grundsätzlich nur auf der Basis wahrer Aussagen führen. Welche Aussagen dürfen hier als 'wahr' verwendet werden?