intuicionismo

Corrente filosófica e matemática que fundamenta a matemática na intuição humana e na construção de provas, rejeitando o uso do princípio do terceiro excluído para infinitos.