نظریه مدل اغلب در تقابل است با نظریه برهان.