>>985
直観主義論理も完全ですよ?
完全かつ健全