Ấn T để tra

hệ luận 

danh từ
 

mệnh đề trực tiếp suy ra từ một tiên đề nào đó, trong quan hệ với tiên đề ấy.