Sains Formal

Sains formal, juga dikenal sebagai matematika formal atau logika formal, adalah disiplin ilmu yang berkaitan dengan pengembangan sistem formal yang terdiri dari simbol,…