1. Який не належить до інтуїціонізму, не визнає його принципів або суперечить йому (у філософії, математиці, логіці).
2. Побудований або обґрунтований на засадах, що відкидають інтуїціоністський підхід, зокрема, у математичній логіці — такий, що допускає використання закону виключеного третього або доказів від супротивного.