bevisning är olämplig af satser , som ligga inom intuitionensområde