関連ワード:  first order math    first order mathematical logic pdf    first order mathematical logic    first order mathematical logic angelo margaris    first order math meaning    first order mathematical model    first time math paper 2025    first time math    first time math paper    first order logic math