Full thread_5659·This may be a bit too "abstract" but using mathematics to think about mathematics (ie metamathematics, philosophy of mathematics ...which is just more mathematics) is definitely the way to go.View on HN