User blog comment:Vel!/Ultracardinals/@comment-24509095-20140618154128/@comment-5150073-20140618183237

I agree that intuition is necessary and more fundamental than formal definition. If we don't know intuitively what we're doing, writing and defining, it can turn to the chaos.