#hệ tiên đề

Frege và Begriffsschrift năm 1879: ngày logic hiện đại ra đời

Begriffsschrift của Frege (1879) lần đầu đưa ra lượng từ, biến, hàm và hệ tiên đề rõ ràng cho suy luận, nên được coi là mốc ra đời của logic vị từ hiện đại.