Spanish Azulejos Wang Cited by user Betocracks on 24 May 2021 Azulejos Wang (o Dominó Wang), primero propuestos por el matemático, lógico, y filósofo Hao Wang en 1961, es una clase de sistemas formales.