公理的検証方法:論理的推論と反例検証