Matematika tvrdi da u svakom modelu svake matematičke teorije (znači, pri svakoj interpretaciji polaznih pojmova te teorije pri kojoj važe sve njene aksiome) važe sve teoreme te matematičke teorije.
Kada primenjuješ matematiku, ti koristiš neku konkretnu interpretaciju polaznih pojmova neke matematičke teorije. Matematika ne tvrdi da će u toj interpretaciji obavezno važiti aksiome te teorije, već da ako one važe, onda da moraju da važe i sve teoreme te teorije. Provera da li aksiome te teorije važe u toj interpretaciji ostaje na tebi.
Ukoliko tu matematičku teoriju primenjuješ van matematike, onda ta interpretacija nije matematička jer povezuje matematičke i nematematičke pojmove, pa se ta provera ne može vršiti matematičkim sredstvima.
Potpis
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.