Mostrami i tuoi assiomi e ti mostrerò le tue conclusioni.