Penggunaan metode matematik dan suatu bahasa istimewa berupa lambang dan rumus di bidang logika formal