Logico-mathématiques related domains (1)