En lochica matematica, un axioma no ye necesariament una verdat evident, sino una expresión lochica emplegada en una deducción ta plegar en una conclusión. En matematica se gosa distinguir dos tipos d'axiomas: os axiomas lochicos y os axiomas no-lochicos.