無限論理
無限論理 (むげんろんり、) は、無限に長い言明および／または無限に長い証明を許す論理である。