Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría.