形而上学是一个哲学分支学科，是对存在的研究。它亦被提出为是对科学以外、无形体、不可证明的事物的研究。