Intuitionistic logic was proposed by L.E.J. Brouwer as the correct logic for reasoning about mathematics, based upon his rejection of the law of the excluded middle as part of his intuitionism.
Logic trực giác được đề nghị bởi L.E.J. Brouwer như là logic đúng đắn cho việc lý luận về toán học, dựa trên sự từ bỏ của ông về luật loại trừ giá trị giữa như là một phần của chủ nghĩa trực giác của ông.