گوییک مزداهیک همچنین شناخته شده با: منطق ریاضی برابر انگلیک (انگلیسی): mathematical logic مینه به کار گیری روشهای انگارشی (همچون ساختارهای جبری، جبر بولی، حساب گزارهای و حساب واختهها) در گوییک و فروکاست قواعد گوییک صوری به قواعد جبری را گوییک انگارشی گویند. نمونهها/پیادهسازیها بَوَندَگی نگره استواره یکم نابَوَندَگی گودل