Svagt matchande rim för matematična logika