Were logic and mathematics invented or discovered? Can reason be reduced to formal logic? Are there true contradictions?