論理によって証明し、直観によって考え出す。