a formális logikánál és matematikánál sokkal magasabb rendű bizonyíték az intuíció