Senadyan mekaten, matématika asring dipunbayangaken (ing salebetipun kontèks formal) mboten sanès kejawi téori himpunan ing sapérangan aksiomatisasi, kanthi pangertosan bilih saben-saben pranyatan utawi bukti matématika saged dipunkemas dhumateng salebetipun rumus-rumus téori himpunan.[21]