You can use formal logic to prove theorems