Enslaved axioma