Définitionstétralogique