Description
A philosophy of mathematics and mathematical logic based on the rejection of the laws of traditional logic developed for finite sets as capable of being extended to infinite sets. It considers such mathematical statements as a form of information about mentally completed constructions, whose study requires a special logic. This is called, intuitionist logic, which has as one of its features the limited acceptance of the law of the excluded middle. An intuitionist arithmetic was developed by K Gödel.