فرمالیسم چهارتایی