>>273
なんだよその量化子の使い方
{a_t}(∀t∈T)も大概だけど{N_t}(∃t∈T)は論外