Title: Absoluteness of intuitionistic logic
Subjects: Proposition (Logic), Predicate (Logic), Intuition