Sannhet er ikke nødvendigvis empirisk. I matematikk er sannhet utledet fra aksiomene. Aksiomene er altså antatt sanne per definisjon. F eks parallellpostulatet. Mens en empirisk påstand ikke har en implisitt sannhet, dens sannhet avhenger utelukkende om hvordan dens relasjon med omverdenen eksisterer objektivt. F eks: ballen er rød. Her antar vi at en ball som vi vi vet hvor er, har egenskapen farge. Vi vet også hva rødhet er. Hvis ballens egenskap farge samsvarer med kategorien rødhet, så er påstanden sann. Dette kan man sikkert formulere mer presist, med matematiske symboler.