Y lý trừu tượng được rút ra từ:

Quan sát và chứng minh.

Quan sát và suy luận.

Quan sát và chứng minh.

Chứng minh và kiểm nghiệm.