充足性、完全性、プリミティブ性