Czy każde twierdzenie musi być albo prawdziwe, albo fałszywe? Czy są zdania, których nie da się zaklasyfikować w ten sposób? Choć klasyczna logika odpowiada twierdząco, nie wszyscy się z tym zgadzają. Intuicjonizm – alternatywne podejście do logiki – każe zadawać pytanie nie o to, czy coś jest prawdziwe, ale o to, czy da się to zbudować albo udowodnić. A to prowadzi do całkowicie innego spojrzenia na sens rozumowania.
