Beim Nachrechnen handelt es sich um eine Beweismethode, welche insbesondere in der Linearen Algebra häufig Anwendung findet. Durch das nachrechnen lassen sich quasi universell sämtliche Mathematischen Beweise kompakt und einfach durchführen.
1. Zeigen sie, dass P = NP
Ist trivial, nachrechnen
2. Zeigen sie, dass ℕ ∈ ℝ
Ist trivial, nachrechen