なんもわかってないのはお前
全部一階述語論理で記述できる理論